Update and migrate git repo URL.

master
Icedream 2024-06-29 14:16:39 +02:00
parent 1c9bbb7559
commit 2ef10eeece
Signed by: icedream
GPG Key ID: 468BBEEBB9EC6AEA
2 changed files with 12 additions and 3 deletions

View File

@ -3,7 +3,7 @@
## Installation
```sh
curl -vLo install.sh https://git.icedream.tech/icedream/profile/raw/branch/master/home/dotfiles/local/bin/update-profile
curl -vLo install.sh https://code.icedream.tech/icedream/profile/raw/branch/master/home/dotfiles/local/bin/update-profile
chmod +x install.sh
./install.sh
rm install.sh
@ -12,7 +12,7 @@ rm install.sh
or:
```sh
git clone --recursive https://git.icedream.tech/icedream/profile ~/.local/profile-git
git clone --recursive https://code.icedream.tech/icedream/profile ~/.local/profile-git
# Installs packages, partially as root through sudo
cd ~/.local/profile-git/packages

View File

@ -30,7 +30,16 @@ if [ ! -d ~/.local/profile-git ]; then
(
cd ~/.local/profile-git
git init
git remote add origin https://git.icedream.tech/icedream/profile.git
git remote add origin https://code.icedream.tech/icedream/profile.git
)
else
(
cd ~/.local/profile-git
case "$(git remote get-url origin)" in
*//git.icedream.tech/*)
git remote set-url origin https://code.icedream.tech/icedream/profile.git
;;
esac
)
fi