diff --git a/install.sh b/install.sh new file mode 120000 index 0000000..75f574d --- /dev/null +++ b/install.sh @@ -0,0 +1 @@ +update.sh \ No newline at end of file diff --git a/update.sh b/update.sh index 02e8322..59fce31 100755 --- a/update.sh +++ b/update.sh @@ -260,4 +260,13 @@ function update_repos() { run_git submodule update } -update_home +if [ ! -d "$HOME/.home" ] +then + echo "--- cloning git.tuleu.science:atuleu/home.git in $HOME/.home" + pushd $HOME 1>/dev/null + run_git clone https://git.tuleu.science/atuleu/home.git .home + .home/update.sh "$@" + popd 1>/dev/null +else + update_home +fi