gitk: Report errors in saving config file

diff --git a/gitk b/gitk
index 3425066fa8dcf633a1266e4de019e1e2ca225877..26a7db4c8c27415738ce9ced7754563cf3f2d28c 100755 (executable)
--- a/gitk
+++ b/gitk
@@ -2818,7 +2818,7 @@ proc savestuff {w} {
 
     if {$stuffsaved} return
     if {![winfo viewable .]} return
-    catch {
+    if {[catch {
        if {[file exists $config_file_tmp]} {
            file delete -force $config_file_tmp
        }
@@ -2884,6 +2884,8 @@ proc savestuff {w} {
        puts $f "}"
        close $f
        file rename -force $config_file_tmp $config_file
+    } err]} {
+        puts "Error saving config: $err"
     }
     set stuffsaved 1
 }