Clone 'bare' dots package names from git.00dani.me/dot, rather than GitHub

This commit is contained in:
Danielle McLean 2020-06-18 13:33:12 +10:00
parent 3632e5cdcd
commit 316108268f
Signed by: 00dani
GPG key ID: 9DDE1EDE01E3A605

View file

@ -25,9 +25,9 @@
'clone-one'() { 'clone-one'() {
local url=$1 local url=$1
local package=${${url##*/}%.git} local package=${${url##*/}%.git}
# Simple package names are fetched from my GitHub repos. # Simple package names are fetched from my Gitea dot repos.
[[ $url != */* ]] && url=$GITHUB_USER/dot-$package [[ $url != */* ]] && url=https://git.00dani.me/dot/$package
# user/repo packages are fetched from that user's repos. # user/repo packages are fetched from that user's GitHub repos.
[[ $url != *:* ]] && url=https://github.com/$url [[ $url != *:* ]] && url=https://github.com/$url
if [[ -d $DOTFILES/$package ]]; then if [[ -d $DOTFILES/$package ]]; then
echo "Looks like you already have $package cloned." >&2 echo "Looks like you already have $package cloned." >&2