git-gui: fix verbose loading when git path contains spaces.

diff --git a/git-gui.sh b/git-gui.sh
index dc53e9a8f5c2b1401afd8c3d174981783c19e23b..27ce0e3f7c6a90676e10456f0e5b673200a0b4b5 100755 (executable)
--- a/git-gui.sh
+++ b/git-gui.sh
@@ -83,9 +83,9 @@ if {![catch {set _verbose $env(GITGUI_VERBOSE)}]} {
                return [uplevel 1 real__auto_load $name $args]
        }
        rename source real__source
-       proc source {name} {
-               puts stderr "source    $name"
-               uplevel 1 real__source $name
+       proc source {args} {
+               puts stderr "source    $args"
+               uplevel 1 [linsert $args 0 real__source]
        }
        if {[tk windowingsystem] eq "win32"} { console show }
 }