update git server address

This commit is contained in:
Jeff Lance 2023-08-01 15:58:57 +02:00
parent 443572f0e5
commit ddd7249403

View File

@ -11,25 +11,25 @@ fi
mkdir -p "$MYTEXMF" mkdir -p "$MYTEXMF"
if [[ ! -d "$MYTEXMF/latex-homework" ]]; then if [[ ! -d "$MYTEXMF/latex-homework" ]]; then
git clone https://src.jefflance.me/jeff/latex-homework.git "$MYTEXMF/latex-homework" git clone https://git.jefflance.me/jeff/latex-homework.git "$MYTEXMF/latex-homework"
else else
git -C "$MYTEXMF/latex-homework" pull --no-rebase git -C "$MYTEXMF/latex-homework" pull --no-rebase
fi fi
if [[ ! -d "$MYTEXMF/latex-beamer-themes" ]]; then if [[ ! -d "$MYTEXMF/latex-beamer-themes" ]]; then
git clone https://src.jefflance.me/jeff/latex-beamer-themes.git "$MYTEXMF/latex-beamer-themes" git clone https://git.jefflance.me/jeff/latex-beamer-themes.git "$MYTEXMF/latex-beamer-themes"
else else
git -C "$MYTEXMF/latex-beamer-themes" pull --no-rebase git -C "$MYTEXMF/latex-beamer-themes" pull --no-rebase
fi fi
if [[ ! -d "$MYTEXMF/emerald" ]]; then if [[ ! -d "$MYTEXMF/emerald" ]]; then
git clone https://src.jefflance.me/jeff/emerald.git "$MYTEXMF/emerald" git clone https://git.jefflance.me/jeff/emerald.git "$MYTEXMF/emerald"
else else
git -C "$MYTEXMF/emerald" pull --no-rebase git -C "$MYTEXMF/emerald" pull --no-rebase
fi fi
if [[ ! -d "$HOME/.asy" ]]; then if [[ ! -d "$HOME/.asy" ]]; then
git clone https://src.jefflance.me/jeff/asymptote-config.git "$HOME/.asy" git clone https://git.jefflance.me/jeff/asymptote-config.git "$HOME/.asy"
else else
git -C "$HOME/.asy" pull --no-rebase git -C "$HOME/.asy" pull --no-rebase
fi fi