| changeset 13894 | 8018173a7979 |
| parent 13893 | 19849d258890 |
| child 13895 | b6105462ccd3 |
| 13893:19849d258890 | 13894:8018173a7979 |
|---|---|
1 #! /bin/sh |
|
2 # |
|
3 # Usage: |
|
4 # expandshort FILE1 ... FILEn |
|
5 # |
|
6 # leaves previous versions as XXX~~ |
|
7 # |
|
8 for f in $* |
|
9 do |
|
10 echo Expanding shorthands in $f. \ Backup file is $f~~ |
|
11 mv $f $f~~; sed -e ' |
|
12 s/PFOL/FOLP/g |
|
13 s/PIFOL/IFOLP/g |
|
14 s/pfol/folp/g |
|
15 s/pifol/ifolp/g |
|
16 ' $f~~ > $f |
|
17 done |
|
18 echo Finished. |