mercury_update_interface script

[Fergus Henderson]

Dominique de Waleffe, you wrote:
> 
> That script has a hardcoded setting of the PATH which makes it
> unusable on NT except if you have put binaries in /bin or
> /usr/bin. Very unlikely...

Well, at very least you need /bin/sh.

> Can't this just be removed?

Yep.

-----------------------------------------------------------------------------

Fix a problem on Windows reported by Dominique de Waleffe.

scripts/mercury_update_interface.in:
	Delete the hard-coded setting of `PATH=/bin:/usr/bin'.

	The original intent was to avoid problems with people who have
	done things like putting shell scripts that override the
	standard commands such as `mv' and `cp' in their path.
	However, since we haven't done this consistently for all of our
	shell scripts, and since this causes problems for Windows
	installations (for which the binaries might not be in /bin
	or /usr/bin), it seems simplest to just remove it.

	If we run into any problems with this, it should be put back in
	as `PATH=/bin:/usr/bin:$PATH' rather than `PATH=/bin:/usr/bin',
	and it should be done consistently for all shell scripts, not just
	this one.

Index: mercury_update_interface.in
===================================================================
RCS file: /home/staff/zs/imp/mercury/scripts/mercury_update_interface.in,v
retrieving revision 1.3
diff -u -r1.3 mercury_update_interface.in
--- mercury_update_interface.in	1996/09/11 08:58:17	1.3
+++ mercury_update_interface.in	1997/03/18 15:49:05
@@ -20,8 +20,6 @@
 #
 # Enviroment variables: none.
 
-PATH=/bin:/usr/bin
-
 verbose=false
 
 if [ $# -ge 1 ] && [ "$1" = "-v" ]; then

-- 
Fergus Henderson <fjh at cs.mu.oz.au>   |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>   |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3         |     -- the last words of T. S. Garp.