aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorShawn O. Pearce <spearce@spearce.org>2007-06-26 15:27:35 -0400
committerShawn O. Pearce <spearce@spearce.org>2007-06-27 00:35:30 -0400
commit7e508eb1a2efce72be1651a35ab3150bfa3c88d6 (patch)
tree82bfa99515c3b96c191cd754c27cdcec0d46ce74
parentfffaaba3588b0da14f4e3265540d400859aad49e (diff)
downloadgit-7e508eb1a2efce72be1651a35ab3150bfa3c88d6.tar.gz
git-7e508eb1a2efce72be1651a35ab3150bfa3c88d6.tar.xz
git-gui: Don't require a .pvcsrc to create Tools/Migrate menu hackgitgui-0.7.4
The Tools/Migrate menu option is a hack just for me. Yes, that's right, git-gui has a hidden feature that really only works for me, and the users that I support within my day-job's great firewall. The menu option is not supported outside of that environment. In the past we only enabled Tools/Migrate if our special local script 'gui-miga' existed in the proper location, and if there was a special '.pvcsrc' in the top level of the working directory. This latter test for the '.pvcsrc' file is now failing, as the file was removed from all Git repositories due to changes made to other tooling within the great firewall's realm. I have changed the test to only work on Cygwin, and only if the special 'gui-miga' is present. This works around the configuration changes made recently within the great firewall's realm, but really this entire Tools/Migrate thing should be abstracted out into some sort of plugin system so other users can extend git-gui as they need. Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
-rwxr-xr-xgit-gui.sh3
1 files changed, 1 insertions, 2 deletions
diff --git a/git-gui.sh b/git-gui.sh
index 6ee0573c9..4fbc408c4 100755
--- a/git-gui.sh
+++ b/git-gui.sh
@@ -1545,8 +1545,7 @@ if {[is_MacOSX]} {
# -- Tools Menu
#
- if {[file exists /usr/local/miga/lib/gui-miga]
- && [file exists .pvcsrc]} {
+ if {[is_Cygwin] && [file exists /usr/local/miga/lib/gui-miga]} {
proc do_miga {} {
global ui_status_value
if {![lock_index update]} return