annotate bin/maketext @ 1847:3b6a43236f56

<shachaf> > bin/quonoid echo quote monoid; chmod +x bin/quonoid
author HackBot
date Sat, 26 Jan 2013 04:52:22 +0000
parents ee2e8950bb3c
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1001
ee2e8950bb3c <oerjan> revert 999
HackBot
parents:
diff changeset
1 #!/bin/bash
ee2e8950bb3c <oerjan> revert 999
HackBot
parents:
diff changeset
2 X=`ls maketext | wc -l`; echo "$1" > maketext/$X; echo $X