Compare commits

...

2 Commits

Author SHA1 Message Date
Icedream df2d61c50a
Remove home/bin/update-profile when done. 2019-10-09 14:45:34 +02:00
Icedream 8c9f988373
Add replacement script in home/bin. 2019-10-09 14:43:33 +02:00
2 changed files with 4 additions and 2 deletions

3
home/bin/update-profile Executable file
View File

@ -0,0 +1,3 @@
#!/bin/sh -e
. "${HOME}/.local/bin/update-profile"

View File

@ -35,7 +35,6 @@ if [ ! -d ~/.local/profile-git ]; then
fi
(
cd ~/.local/profile-git
if [ "${_CHECKOUT_DONE:-0}" -lt 1 ]; then
@ -105,4 +104,4 @@ fi
)
rm -f "${HOME}/.local/bin/update-profile.old"
rm -f "${HOME}/.local/bin/update-profile.old" "${HOME}/bin/update-profile"