From: Nicolas Boisselier <nicolas.boisselier@gmail.com>
Date: Fri, 12 Jan 2018 05:32:46 +0000 (+0000)
Subject: etc/profile.d/git.sh
X-Git-Url: https://git.nbdom.net/?a=commitdiff_plain;h=c67730231d15d9eb9345e5e0b5841a268d480d95;p=nb.git

etc/profile.d/git.sh
---

diff --git a/etc/profile.d/git.sh b/etc/profile.d/git.sh
index 0f45b187..0ff2d0c7 100644
--- 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"
 }