From 3a8b35c3e37369014dc06c767e8fa569150a1e59 Mon Sep 17 00:00:00 2001 From: Johannes Sixt Date: Wed, 31 Jan 2007 18:04:12 +0100 Subject: [PATCH] Renaming .gitk-new to .gitk fails if there is already a .gitk. Remove the existing one before renaming. --- gitk | 1 + 1 file changed, 1 insertion(+) diff --git a/gitk b/gitk index 7ef401fb6d..f17ba365eb 100755 --- a/gitk +++ b/gitk @@ -822,6 +822,7 @@ proc savestuff {w} { } puts $f "}" close $f + catch {file delete "~/.gitk"} file rename -force "~/.gitk-new" "~/.gitk" } set stuffsaved 1