lib/scripts/patch-scripts.bash
author wenzelm
Fri, 07 Mar 1997 09:43:31 +0100
changeset 2744 34993cdffbf7
parent 2651 60d8d06f84a5
child 2760 c2a90e8b4831
permissions -rw-r--r--
tuned comment;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2651
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
     1
#
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
     2
# $Id$
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
     3
#
2744
34993cdffbf7 tuned comment;
wenzelm
parents: 2651
diff changeset
     4
# patch-scripts.bash - relocate interpreter paths of executable scripts.
2651
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
     5
#
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
     6
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
     7
## find binaries
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
     8
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
     9
function findbin()
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
    10
{
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
    11
  local DEFAULT="$1"
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
    12
  local BASE=""
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
    13
  local BINARY=""
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
    14
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
    15
  if [ -f "$DEFAULT" ]; then	# preferred location
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
    16
    echo "found $DEFAULT" >&2
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
    17
    echo "$DEFAULT"
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
    18
    return
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
    19
  else				# find in PATH
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
    20
    BASE=$(basename "$DEFAULT")
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
    21
    BINARY=$(type -path "$BASE")
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
    22
    if [ -n "$BINARY" ]; then
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
    23
      echo "found $BINARY" >&2
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
    24
      echo "$BINARY"
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
    25
      return
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
    26
    else
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
    27
      echo "WARNING: $BASE not found!" >&2
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
    28
      echo "$DEFAULT"
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
    29
      return
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
    30
    fi
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
    31
  fi
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
    32
}
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
    33
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
    34
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
    35
## main
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
    36
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
    37
BASH=$(findbin /bin/bash)
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
    38
PERL=$(findbin /usr/bin/perl)
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
    39
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
    40
for FILE in $(find . -type f -print)
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
    41
do
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
    42
  if [ -x "$FILE" ]; then
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
    43
    sed -e "s:^#!.*/bash:#!$BASH:" -e "s:^#!.*/perl:#!$PERL:" $FILE >$FILE~~
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
    44
    if cmp -s $FILE $FILE~~; then
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
    45
      rm $FILE~~
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
    46
    else
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
    47
      rm -f $FILE
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
    48
      mv $FILE~~ $FILE
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
    49
      chmod +x $FILE
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
    50
      echo fixed $FILE
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
    51
    fi
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
    52
  fi
60d8d06f84a5 file moved here;
wenzelm
parents:
diff changeset
    53
done