ant-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Robert J. Clark" <cl...@sitraka.com>
Subject [PATCH] Enhancement to the ant shell script
Date Tue, 06 Nov 2001 19:47:46 GMT
Hi All,

I have this modification to the ant startup script that I use quite 
a bit and though I would pass it along. The reason I use this is that
I often need machine specific defaults passed to ant. This modification
allows me to put all the common settings in $HOME/.antrc and then 
override or extend these based on the machine I am currently logged into.

 - Rob

===================================================================
RCS file: /home/cvspublic/jakarta-ant/src/script/ant,v
retrieving revision 1.9
diff -u -r1.9 ant
--- ant	2001/10/26 10:13:02	1.9
+++ ant	2001/11/06 19:33:26
@@ -4,6 +4,16 @@
   . $HOME/.antrc
 fi
 
+#
+# If there is an rc file specifically for this machine,
+# then allow the settings there to override those in
+# the $HOME/.antrc file
+#
+MACHINE=`uname -n`
+if [ -f $HOME/.antrc.$MACHINE ] ; then
+  . $HOME/.antrc.$MACHINE
+fi
+
 # OS specific support.  $var _must_ be set to either true or false.
 cygwin=false;
 darwin=false;

--
To unsubscribe, e-mail:   <mailto:ant-dev-unsubscribe@jakarta.apache.org>
For additional commands, e-mail: <mailto:ant-dev-help@jakarta.apache.org>


Mime
View raw message