diff options
| -rwxr-xr-x | git-gui.sh | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/git-gui.sh b/git-gui.sh index cb0c02e5b8..72da2443e5 100755 --- a/git-gui.sh +++ b/git-gui.sh @@ -549,16 +549,6 @@ proc _git_cmd {name} { return $v } -# Test a file for a hashbang to identify executable scripts on Windows. -proc is_shellscript {filename} { - if {![file exists $filename]} {return 0} - set f [open $filename r] - fconfigure $f -encoding binary - set magic [read $f 2] - close $f - return [expr {$magic eq "#!"}] -} - # Run a shell command connected via pipes on stdout. # This is for use with textconv filters and uses sh -c "..." to allow it to # contain a command with arguments. We presume this |