[jallib] r3127 committed - Added ability to pass filename wildcards to jallib.py for "reindent" c...

7 views
Skip to first unread message

jal...@googlecode.com

unread,
Nov 25, 2012, 1:01:26 PM11/25/12
to jal...@googlegroups.com
Revision: 3127
Author: mke...@gmail.com
Date: Sun Nov 25 10:01:13 2012
Log: Added ability to pass filename wildcards to jallib.py
for "reindent" command for windows machines.
Also cleaned up the way I did it for "validate".


http://code.google.com/p/jallib/source/detail?r=3127

Modified:
/trunk/tools/jallib.py

Sebastien Lelong

unread,
Nov 25, 2012, 1:05:47 PM11/25/12
to jal...@googlegroups.com
Nice, I remember many wanted this feature :)

Cheers,
Seb



--
You received this message because you are subscribed to the Google Groups "jallib" group.
To post to this group, send email to jal...@googlegroups.com.
To unsubscribe from this group, send email to jallib+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/jallib?hl=en.




--
Sébastien Lelong


Mike K

unread,
Nov 25, 2012, 2:46:49 PM11/25/12
to jal...@googlegroups.com
Currently it only supports either a file (or list of files) or a wildcard filename, but not both at one time.
That is, you can't do this: jallib.py myfile.jal other*.jal.

I can make it handle both if there is a desire for it, since Linux probably allows it.  I also need to fix the bug I just found (issue 189).

Mike


On Sunday, November 25, 2012 1:06:10 PM UTC-5, Sebastien Lelong wrote:
Nice, I remember many wanted this feature :)

Cheers,
Seb

On 25 November 2012 19:01, <jal...@googlecode.com> wrote:
Revision: 3127
Author:   mke...@gmail.com
Date:     Sun Nov 25 10:01:13 2012
Log:      Added ability to pass filename wildcards to jallib.py for "reindent" command for windows machines.
Also cleaned up the way I did it for "validate".


http://code.google.com/p/jallib/source/detail?r=3127

Modified:
 /trunk/tools/jallib.py


--
You received this message because you are subscribed to the Google Groups "jallib" group.
To post to this group, send email to jal...@googlegroups.com.
To unsubscribe from this group, send email to jallib+un...@googlegroups.com.

For more options, visit this group at http://groups.google.com/group/jallib?hl=en.




--
Sébastien Lelong


Reply all
Reply to author
Forward
0 new messages