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 |