lib/scripts/patch-scripts.bash
changeset 9789 7e5e6c47c0b5
parent 6974 60b0e4bbe331
child 10512 d34192966cd8
--- a/lib/scripts/patch-scripts.bash	Fri Sep 01 17:50:36 2000 +0200
+++ b/lib/scripts/patch-scripts.bash	Fri Sep 01 17:54:58 2000 +0200
@@ -1,5 +1,7 @@
 #
 # $Id$
+# Author: Markus Wenzel, TU Muenchen
+# License: GPL (GNU GENERAL PUBLIC LICENSE)
 #
 # patch-scripts.bash - relocate interpreter paths of executable scripts and
 #   insert AUTO_BASH/AUTO_PERL values
@@ -38,14 +40,14 @@
   if [ -x "$FILE" ]; then
     sed -e "s:^#!.*/bash:#!$BASH_PATH:" -e "s:^#!.*/perl:#!$PERL_PATH:" \
       -e "s:^AUTO_BASH=.*bash:AUTO_BASH=$AUTO_BASH:" \
-      -e "s:^AUTO_PERL=.*perl:AUTO_PERL=$AUTO_PERL:" $FILE >$FILE~~
-    if cmp -s $FILE $FILE~~; then
-      rm $FILE~~
+      -e "s:^AUTO_PERL=.*perl:AUTO_PERL=$AUTO_PERL:" "$FILE" > "$FILE~~"
+    if cmp -s "$FILE" "$FILE~~"; then
+      rm "$FILE~~"
     else
-      rm -f $FILE
-      mv $FILE~~ $FILE
-      chmod +x $FILE
-      echo fixed $FILE
+      rm -f "$FILE"
+      mv "$FILE~~" "$FILE"
+      chmod +x "$FILE"
+      echo "fixed $FILE"
     fi
   fi
 done