etc/profile.d/git.sh

diff --git a/etc/profile.d/git.sh b/etc/profile.d/git.sh
index 0f45b1874184236443e85e6f562b8ce7a3a57e8e..0ff2d0c7f0d3293e99e88e1456fa9881a12e209d 100644 (file)
--- a/etc/profile.d/git.sh
+++ b/etc/profile.d/git.sh
@@ -245,7 +245,7 @@ echo -e $output | column -t -s ', '
 git_clone_and_clean() {
   local usage="git_clean_repo REPO"
   local repo=${1:-?$usage}
-  local tmp=/tmp/git_clone_and_clean
+  local tmp=/tmp/git_clone_and_clean.$$
 (
   rm -rf "$tmp"
   mkdir -p "$tmp"
@@ -266,4 +266,5 @@ git_clone_and_clean() {
   git push origin --force --all || return
   git push origin --force --tags || return
 )
+  rm -rf "$tmp"
 }