diff options
| author |  Shawn O. Pearce <spearce@spearce.org> | 2007-01-20 20:53:37 -0500 |
|---|---|---|
| committer | Shawn O. Pearce <spearce@spearce.org> | 2007-01-21 02:54:19 -0500 |
| commit | f7b9f6e4406458d522f9b376efdfecadf6b4ab35 (patch) | |
| tree | c2f22068c5a7f0040fed8e120c7a1aac0ef3e682 | |
| parent | git-gui: Allow the user to copy the version data to the clipboard. (diff) | |
| download | tgif-f7b9f6e4406458d522f9b376efdfecadf6b4ab35.tar.xz | |
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 <spearce@spearce.org>
| -rwxr-xr-x | git-gui.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/git-gui.sh b/git-gui.sh index cfec89b45d..e2dc931e48 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 |