icedream
/
profile
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Remove home/bin/update-profile when done.

master
Icedream 2019-10-09 14:45:34 +02:00
parent 8c9f988373
commit df2d61c50a
Signed by: icedream
GPG Key ID: 1573F6D8EFE4D0CF
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
home/dotfiles/local/bin/update-profile
View File

@ -35,7 +35,6 @@ if [ ! -d ~/.local/profile-git ]; then
fi fi
( (
cd ~/.local/profile-git cd ~/.local/profile-git
if [ "${_CHECKOUT_DONE:-0}" -lt 1 ]; then 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"