<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 TRANSITIONAL//EN">
<HTML>
<HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; CHARSET=UTF-8">
<META NAME="GENERATOR" CONTENT="GtkHTML/3.18.3">
</HEAD>
<BODY>
We traditionally use .bat. But everyone who ever tried coding it knows that it's really PIT*.<BR>
Since Windows 98, there's a Windows Scripting Host installed by default which allows scripting in various languages, with JScript and VBScript bundled with the OS.<BR>
Coding JScript is a pleasure compared to .bat.<BR>
<BR>
I've created a .js which basically does the same as AS 7's current .bat.<BR>
If it worked well, is there any reason not to use it instead?<BR>
<BR>
Ondra<BR>
<BR>
<BR>
<BR>
Ondřej Žižka píše v Čt 29. 09. 2011 v 21:59 +0200:<BR>
<BLOCKQUOTE TYPE=CITE>
In build.sh, we have <BR>
<BR>
#!/bin/sh<BR>
<BR>
<FONT COLOR="#909090">which is is not guaranteed to be bash. I only know bash and am hitting sh incompatibilities when coding testsuite script.</FONT><BR>
<FONT COLOR="#909090">Can I change it to /bin/bash? Or are we restricted by some crazy platforms without bash?</FONT><BR>
<BR>
Thanks,<BR>
Ondra
<PRE>
_______________________________________________
jboss-as7-dev mailing list
<A HREF="mailto:jboss-as7-dev@lists.jboss.org">jboss-as7-dev@lists.jboss.org</A>
<A HREF="https://lists.jboss.org/mailman/listinfo/jboss-as7-dev">https://lists.jboss.org/mailman/listinfo/jboss-as7-dev</A>
</PRE>
</BLOCKQUOTE>
</BODY>
</HTML>