|
From: john s. <sk...@us...> - 2015-03-30 02:15:29
|
Using a nice tool, flx_batch_replace:
/usr/local/lib/felix/felix-latest/host/bin/flx_batch_replace -v src '.*\.(flx|fdoc)' 'fixup/src/${0}' '\?([A-Za-z][A-Za-z0-9_]*)' '\1'
cp -r fixup/src/* src
Be interested how to do that with standard unix tools.
I do note the inconsistent replacement notation ${group} for files,
but \group for strings. Internally these search and replace operations
are in fact similar. I put the ${group} in because its so hard to type \1
inside a string and get the quoting right. OTOH in bash ${1} is the first
command line argument so that needs to be quoted right too.
--
john skaller
sk...@us...
http://felix-lang.org
|