From f7b9f6e4406458d522f9b376efdfecadf6b4ab35 Mon Sep 17 00:00:00 2001 From: "Shawn O. Pearce" Date: Sat, 20 Jan 2007 20:53:37 -0500 Subject: [PATCH] git-gui: Don't offer my miga hack if its configuration file isn't present. I really hate that I have this specialized hack within git-gui, but its here. The hack shouldn't be offered unless miga's required .pvcsrc file is in the top level of the repository's working directory. If this file is missing miga will fail to startup properly, and the user cannot wouldn't be able to use it within this directory. Signed-off-by: Shawn O. Pearce --- git-gui.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/git-gui.sh b/git-gui.sh index cfec89b..e2dc931 100755 --- a/git-gui.sh +++ b/git-gui.sh @@ -3232,7 +3232,8 @@ if {[is_MacOSX]} { # -- Tools Menu # - if {[file exists /usr/local/miga/lib/gui-miga]} { + if {[file exists /usr/local/miga/lib/gui-miga] + && [file exists .pvcsrc]} { proc do_miga {} { global gitdir ui_status_value if {![lock_index update]} return -- 2.11.4.GIT