From: Max Kirillov Date: Wed, 04 Mar 2015 03:58:17 GMT Subject: [PATCH v5 2/3] gitk: report file saving error Message-ID: <1425441498-29416-3-git-send-email-max@max630.net> In-Reply-To: <1425441498-29416-1-git-send-email-max@max630.net> Signed-off-by: Max Kirillov --- gitk | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/gitk b/gitk index 5f09756..9404d5d 100755 --- a/gitk +++ b/gitk @@ -2811,7 +2811,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 } @@ -2877,6 +2877,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 } -- 2.1.1.391.g7a54a76