diff --git a/scripts/git/git-ghclone b/scripts/git/git-ghclone new file mode 100755 index 0000000..34ef9e7 --- /dev/null +++ b/scripts/git/git-ghclone @@ -0,0 +1,42 @@ +#!/bin/bash -x +# +# Support script to simplify cloning from GitHub + +MY_GH_UID=nirenjan + +USAGE="Usage: git ${0#*/git-} [/][.git]" + +if [[ -z "$1" ]] +then + echo "$USAGE" >&2 + exit 1 +fi + +# Extract OWNER +OWNER= +if [[ "$1" == */* ]] +then + OWNER=${1%/*} +fi + +REPO=${1%.git} +REPO=${REPO##*/} + +if [[ -z "$OWNER" ]] +then + URL="my:" +elif [[ "$OWNER" == "$MY_GH_UID" ]] +then + URL="my:" +else + URL="gh:$OWNER/" +fi + +if [[ -z "$REPO" ]] +then + echo "$USAGE" >&2 + exit 1 +fi + +shift +git clone $URL$REPO.git "$@"