1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
#!/bin/sh
# moved -- script to ease the pain of The Grand Renaming
# $Id: moved,v 1.1 2000/04/24 23:55:01 john Exp $
dir=`dirname $0`
name=`basename $0`
case $name in
sawmill*)
ext=`echo $name | sed -e 's/^sawmill\(.*\)$/\1/'`
;;
*)
echo "Can't work out new name of program $name."
exit 5
;;
esac
if [ "x$QUIET_SAWFISH" != "xyes" ]; then
cat >&2 <<EOF
*** "$name" is now called "sawfish$ext"
*** For legal reasons the window manager "sawmill" is now called
*** "sawfish". Please edit any scripts that refer to programs called
*** "sawmill*" to invoke "sawfish*" instead
*** For now I will run the new program for you automatically; this
*** facility will be removed in a future release.
EOF
fi
exec "$dir/sawfish$ext" "$@"
|