From 91e00efcf0fea7dc56821e313b9d9b513d43f69d Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Tue, 4 May 2010 19:36:38 -0400 Subject: [PATCH] slightly better script --- collects/meta/props | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/meta/props b/collects/meta/props index 12f9d63200..192a189eea 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -13,7 +13,8 @@ In addition, you can make it work as a git command -- put this in a file called "git-prop" somewhere in your path (make sure to "chmod +x" it): #!/bin/sh - exec "$(git rev-parse --show-toplevel)/collects/meta/props" "$@" + top="$(git rev-parse --show-toplevel)" || exit 1 + exec "$top/collects/meta/props" "$@" and use it as a git command: `git prop cmd args...'. This will use the script from the work tree that you're now in, with any mzscheme executable that