From 1dd29606b69279605f42b715e491aaf8cd0fea60 Mon Sep 17 00:00:00 2001 From: Max Kirillov Date: Wed, 4 Mar 2015 05:58:17 +0200 Subject: [PATCH] gitk: Report errors in saving config file Signed-off-by: Max Kirillov Signed-off-by: Paul Mackerras --- gitk | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/gitk b/gitk index 3425066fa8..26a7db4c8c 100755 --- 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 } -- GitLab