diff options
| author | Mike Vink <mike@pionative.com> | 2025-02-08 19:40:32 +0100 |
|---|---|---|
| committer | Mike Vink <mike@pionative.com> | 2025-02-08 19:40:32 +0100 |
| commit | f479a5f1b28d17d3aad88e549b6f538178bfb5d6 (patch) | |
| tree | 6c20703aa67393ad274ab1aaa75123c6d0cc1f2b | |
| parent | 92a88409795fca03129a6566fa95cdd1a7b43b35 (diff) | |
update putgitrepo
| -rwxr-xr-x | .local/bin/putgitrepo | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.local/bin/putgitrepo b/.local/bin/putgitrepo index ac91bb7..40052e3 100755 --- a/.local/bin/putgitrepo +++ b/.local/bin/putgitrepo @@ -1,4 +1,5 @@ #!/bin/sh +name=$USER putgitrepo() { # Downloads a gitrepo $1 and places the files in $2 only overwriting conflicts [ -z "$3" ] && branch="master" || branch="$repobranch" |