git.gag.com Git - debian/openrocket/blob - core/resources/l10n/rename.sh

   1 #!/bin/bash
   2
   3 # Usage:
   4 # ./rename <file-containing-rename-keys> <files_to_modify ...>
   5 #
   6 # Rename keys file contains space-separated lines:
   7 #    <old.key> <new.key>
   8
   9 RENAME="$1"
  10 shift
  11
  12 cat "$RENAME" | while read line ; do
  13
  14     FROM=`echo $line | awk '{print $1}'`
  15     TO=`echo $line | awk '{print $2}'`
  16
  17     sed -i "s/$FROM/$TO/g" "$@"
  18
  19 done