[PATCH v5 2/3] gitk: report file saving error
Signed-off-by: Max Kirillov <max@max630.net>
---
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