| Last change
 on this file since 621 was             133, checked in by Paul Smedley, 17 years ago | 
        
          | 
Update trunk to 3.2.0pre3
 | 
        
          | File size:
            923 bytes | 
      
      
| Line |  | 
|---|
| 1 | #!/bin/sh | 
|---|
| 2 | # 5 July 96 Dan.Shearer@UniSA.Edu.Au  - almost identical to uninstallbin.sh | 
|---|
| 3 |  | 
|---|
| 4 | INSTALLPERMS=$1 | 
|---|
| 5 | BINDIR=`echo $2 | sed 's/\/\//\//g'` | 
|---|
| 6 |  | 
|---|
| 7 | shift | 
|---|
| 8 | shift | 
|---|
| 9 |  | 
|---|
| 10 | if [ ! -d $BINDIR ]; then | 
|---|
| 11 | echo Directory $BINDIR does not exist! | 
|---|
| 12 | echo Do a "make installscripts" or "make install" first. | 
|---|
| 13 | exit 1 | 
|---|
| 14 | fi | 
|---|
| 15 |  | 
|---|
| 16 | for p in $*; do | 
|---|
| 17 | p2=`basename $p` | 
|---|
| 18 | if [ -f $BINDIR/$p2 ]; then | 
|---|
| 19 | echo Removing $BINDIR/$p2 | 
|---|
| 20 | rm -f $BINDIR/$p2 | 
|---|
| 21 | if [ -f $BINDIR/$p2 ]; then | 
|---|
| 22 | echo Cannot remove $BINDIR/$p2 ... does $USER have privileges? | 
|---|
| 23 | fi | 
|---|
| 24 | fi | 
|---|
| 25 | done | 
|---|
| 26 |  | 
|---|
| 27 | cat << EOF | 
|---|
| 28 | ====================================================================== | 
|---|
| 29 | The scripts have been uninstalled. You may reinstall them using | 
|---|
| 30 | the command "make installscripts" or "make install" to install binaries, | 
|---|
| 31 | man pages and shell scripts. You may recover a previous version (if any | 
|---|
| 32 | with "make revert". | 
|---|
| 33 | ====================================================================== | 
|---|
| 34 | EOF | 
|---|
| 35 |  | 
|---|
| 36 | exit 0 | 
|---|
       
      
  Note:
 See   
TracBrowser
 for help on using the repository browser.