From df2d61c50acb652609c21334f7a2486f7c803df5 Mon Sep 17 00:00:00 2001 From: Carl Kittelberger Date: Wed, 9 Oct 2019 14:45:34 +0200 Subject: [PATCH] Remove home/bin/update-profile when done. --- home/dotfiles/local/bin/update-profile | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/home/dotfiles/local/bin/update-profile b/home/dotfiles/local/bin/update-profile index 31d5e7f..d2a1ebf 100755 --- a/home/dotfiles/local/bin/update-profile +++ b/home/dotfiles/local/bin/update-profile @@ -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"