From e5805d2c579f9040d0381b046313e9ef0f189711 Mon Sep 17 00:00:00 2001 From: Johannes Sixt Date: Thu, 1 Mar 2007 10:40:57 +0100 Subject: [PATCH] Use /tmp instead of /var/tmp. --- git-gui/CREDITS-GEN | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/git-gui/CREDITS-GEN b/git-gui/CREDITS-GEN index d1b0f86355..1aff2f8088 100755 --- a/git-gui/CREDITS-GEN +++ b/git-gui/CREDITS-GEN @@ -36,7 +36,7 @@ generate_credits () # that fact. # -credits_tmp=/var/tmp/gitgui-credits-$$ +credits_tmp=/tmp/gitgui-credits-$$ trap 'rm -f "$credits_tmp"' 0 orig="$credits_tmp"