diff --git a/devTools/convert_twscript_to_js.sh b/devTools/convert_twscript_to_js.sh deleted file mode 100755 index 25299d6e92d35478eda72dc6b2d006d4b411b2b0..0000000000000000000000000000000000000000 --- a/devTools/convert_twscript_to_js.sh +++ /dev/null @@ -1,24 +0,0 @@ -#!/bin/sh - -#converts files in the current dir - -# collect files with [script] tag -FILES=`grep '\[script\]' -H -R * | cut -f 1 -d ':'` -for f in $FILES; do - # create new name. Old name can have any of the following suffixes: - # _JS.tw JS.tw .tw - nf="${f%_JS.tw}" - nf="${nf%JS.tw}" - nf="${nf%.tw}" - # we might end up with an empty name, then set dir name as the file name - [ -z "$(basename $nf)" -o "${nf: -1}" = "/" ] && nf="${nf}$(basename ${nf})" - # append the new suffix - nf="${nf}.js" - echo "renaming ${f} -> ${nf}" - # rename the file - git mv "${f}" "${nf}" || echo "renaming ${f} failed" - # strip Twee header from it - sed -i 1d "${nf}" || echo "stripping Twee header failed for ${nf}" - # strip leading empty line '/./,$!d' - sed -i '/./,$!d' "${nf}" || echo "Stripping leading empty blank lines failed for ${nf}" -done