From c67730231d15d9eb9345e5e0b5841a268d480d95 Mon Sep 17 00:00:00 2001 From: Nicolas Boisselier Date: Fri, 12 Jan 2018 05:32:46 +0000 Subject: [PATCH] etc/profile.d/git.sh --- etc/profile.d/git.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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" } -- 2.47.3