annotate jamendo/sparql-archived/SeRQL/install-sh @ 27:d95e683fbd35 tip

Enable CORS on urispace redirects as well
author Chris Cannam
date Tue, 20 Feb 2018 14:52:02 +0000
parents df9685986338
children
rev   line source
Chris@0 1 #!/bin/sh
Chris@0 2 #
Chris@0 3 # install - install a program, script, or datafile
Chris@0 4 # This comes from X11R5.
Chris@0 5 #
Chris@0 6 # Calling this script install-sh is preferred over install.sh, to prevent
Chris@0 7 # `make' implicit rules from creating a file called install from it
Chris@0 8 # when there is no Makefile.
Chris@0 9 #
Chris@0 10 # This script is compatible with the BSD install script, but was written
Chris@0 11 # from scratch.
Chris@0 12 #
Chris@0 13
Chris@0 14
Chris@0 15 # set DOITPROG to echo to test this script
Chris@0 16
Chris@0 17 # Don't use :- since 4.3BSD and earlier shells don't like it.
Chris@0 18 doit="${DOITPROG-}"
Chris@0 19
Chris@0 20
Chris@0 21 # put in absolute paths if you don't have them in your path; or use env. vars.
Chris@0 22
Chris@0 23 mvprog="${MVPROG-mv}"
Chris@0 24 cpprog="${CPPROG-cp}"
Chris@0 25 chmodprog="${CHMODPROG-chmod}"
Chris@0 26 chownprog="${CHOWNPROG-chown}"
Chris@0 27 chgrpprog="${CHGRPPROG-chgrp}"
Chris@0 28 stripprog="${STRIPPROG-strip}"
Chris@0 29 rmprog="${RMPROG-rm}"
Chris@0 30 mkdirprog="${MKDIRPROG-mkdir}"
Chris@0 31
Chris@0 32 tranformbasename=""
Chris@0 33 transform_arg=""
Chris@0 34 instcmd="$mvprog"
Chris@0 35 chmodcmd="$chmodprog 0755"
Chris@0 36 chowncmd=""
Chris@0 37 chgrpcmd=""
Chris@0 38 stripcmd=""
Chris@0 39 rmcmd="$rmprog -f"
Chris@0 40 mvcmd="$mvprog"
Chris@0 41 src=""
Chris@0 42 dst=""
Chris@0 43 dir_arg=""
Chris@0 44
Chris@0 45 while [ x"$1" != x ]; do
Chris@0 46 case $1 in
Chris@0 47 -c) instcmd="$cpprog"
Chris@0 48 shift
Chris@0 49 continue;;
Chris@0 50
Chris@0 51 -d) dir_arg=true
Chris@0 52 shift
Chris@0 53 continue;;
Chris@0 54
Chris@0 55 -m) chmodcmd="$chmodprog $2"
Chris@0 56 shift
Chris@0 57 shift
Chris@0 58 continue;;
Chris@0 59
Chris@0 60 -o) chowncmd="$chownprog $2"
Chris@0 61 shift
Chris@0 62 shift
Chris@0 63 continue;;
Chris@0 64
Chris@0 65 -g) chgrpcmd="$chgrpprog $2"
Chris@0 66 shift
Chris@0 67 shift
Chris@0 68 continue;;
Chris@0 69
Chris@0 70 -s) stripcmd="$stripprog"
Chris@0 71 shift
Chris@0 72 continue;;
Chris@0 73
Chris@0 74 -t=*) transformarg=`echo $1 | sed 's/-t=//'`
Chris@0 75 shift
Chris@0 76 continue;;
Chris@0 77
Chris@0 78 -b=*) transformbasename=`echo $1 | sed 's/-b=//'`
Chris@0 79 shift
Chris@0 80 continue;;
Chris@0 81
Chris@0 82 *) if [ x"$src" = x ]
Chris@0 83 then
Chris@0 84 src=$1
Chris@0 85 else
Chris@0 86 # this colon is to work around a 386BSD /bin/sh bug
Chris@0 87 :
Chris@0 88 dst=$1
Chris@0 89 fi
Chris@0 90 shift
Chris@0 91 continue;;
Chris@0 92 esac
Chris@0 93 done
Chris@0 94
Chris@0 95 if [ x"$src" = x ]
Chris@0 96 then
Chris@0 97 echo "install: no input file specified"
Chris@0 98 exit 1
Chris@0 99 else
Chris@0 100 true
Chris@0 101 fi
Chris@0 102
Chris@0 103 if [ x"$dir_arg" != x ]; then
Chris@0 104 dst=$src
Chris@0 105 src=""
Chris@0 106
Chris@0 107 if [ -d $dst ]; then
Chris@0 108 instcmd=:
Chris@0 109 else
Chris@0 110 instcmd=mkdir
Chris@0 111 fi
Chris@0 112 else
Chris@0 113
Chris@0 114 # Waiting for this to be detected by the "$instcmd $src $dsttmp" command
Chris@0 115 # might cause directories to be created, which would be especially bad
Chris@0 116 # if $src (and thus $dsttmp) contains '*'.
Chris@0 117
Chris@0 118 if [ -f $src -o -d $src ]
Chris@0 119 then
Chris@0 120 true
Chris@0 121 else
Chris@0 122 echo "install: $src does not exist"
Chris@0 123 exit 1
Chris@0 124 fi
Chris@0 125
Chris@0 126 if [ x"$dst" = x ]
Chris@0 127 then
Chris@0 128 echo "install: no destination specified"
Chris@0 129 exit 1
Chris@0 130 else
Chris@0 131 true
Chris@0 132 fi
Chris@0 133
Chris@0 134 # If destination is a directory, append the input filename; if your system
Chris@0 135 # does not like double slashes in filenames, you may need to add some logic
Chris@0 136
Chris@0 137 if [ -d $dst ]
Chris@0 138 then
Chris@0 139 dst="$dst"/`basename $src`
Chris@0 140 else
Chris@0 141 true
Chris@0 142 fi
Chris@0 143 fi
Chris@0 144
Chris@0 145 ## this sed command emulates the dirname command
Chris@0 146 dstdir=`echo $dst | sed -e 's,[^/]*$,,;s,/$,,;s,^$,.,'`
Chris@0 147
Chris@0 148 # Make sure that the destination directory exists.
Chris@0 149 # this part is taken from Noah Friedman's mkinstalldirs script
Chris@0 150
Chris@0 151 # Skip lots of stat calls in the usual case.
Chris@0 152 if [ ! -d "$dstdir" ]; then
Chris@0 153 defaultIFS='
Chris@0 154 '
Chris@0 155 IFS="${IFS-${defaultIFS}}"
Chris@0 156
Chris@0 157 oIFS="${IFS}"
Chris@0 158 # Some sh's can't handle IFS=/ for some reason.
Chris@0 159 IFS='%'
Chris@0 160 set - `echo ${dstdir} | sed -e 's@/@%@g' -e 's@^%@/@'`
Chris@0 161 IFS="${oIFS}"
Chris@0 162
Chris@0 163 pathcomp=''
Chris@0 164
Chris@0 165 while [ $# -ne 0 ] ; do
Chris@0 166 pathcomp="${pathcomp}${1}"
Chris@0 167 shift
Chris@0 168
Chris@0 169 if [ ! -d "${pathcomp}" ] ;
Chris@0 170 then
Chris@0 171 $mkdirprog "${pathcomp}"
Chris@0 172 else
Chris@0 173 true
Chris@0 174 fi
Chris@0 175
Chris@0 176 pathcomp="${pathcomp}/"
Chris@0 177 done
Chris@0 178 fi
Chris@0 179
Chris@0 180 if [ x"$dir_arg" != x ]
Chris@0 181 then
Chris@0 182 $doit $instcmd $dst &&
Chris@0 183
Chris@0 184 if [ x"$chowncmd" != x ]; then $doit $chowncmd $dst; else true ; fi &&
Chris@0 185 if [ x"$chgrpcmd" != x ]; then $doit $chgrpcmd $dst; else true ; fi &&
Chris@0 186 if [ x"$stripcmd" != x ]; then $doit $stripcmd $dst; else true ; fi &&
Chris@0 187 if [ x"$chmodcmd" != x ]; then $doit $chmodcmd $dst; else true ; fi
Chris@0 188 else
Chris@0 189
Chris@0 190 # If we're going to rename the final executable, determine the name now.
Chris@0 191
Chris@0 192 if [ x"$transformarg" = x ]
Chris@0 193 then
Chris@0 194 dstfile=`basename $dst`
Chris@0 195 else
Chris@0 196 dstfile=`basename $dst $transformbasename |
Chris@0 197 sed $transformarg`$transformbasename
Chris@0 198 fi
Chris@0 199
Chris@0 200 # don't allow the sed command to completely eliminate the filename
Chris@0 201
Chris@0 202 if [ x"$dstfile" = x ]
Chris@0 203 then
Chris@0 204 dstfile=`basename $dst`
Chris@0 205 else
Chris@0 206 true
Chris@0 207 fi
Chris@0 208
Chris@0 209 # Make a temp file name in the proper directory.
Chris@0 210
Chris@0 211 dsttmp=$dstdir/#inst.$$#
Chris@0 212
Chris@0 213 # Move or copy the file name to the temp name
Chris@0 214
Chris@0 215 $doit $instcmd $src $dsttmp &&
Chris@0 216
Chris@0 217 trap "rm -f ${dsttmp}" 0 &&
Chris@0 218
Chris@0 219 # and set any options; do chmod last to preserve setuid bits
Chris@0 220
Chris@0 221 # If any of these fail, we abort the whole thing. If we want to
Chris@0 222 # ignore errors from any of these, just make sure not to ignore
Chris@0 223 # errors from the above "$doit $instcmd $src $dsttmp" command.
Chris@0 224
Chris@0 225 if [ x"$chowncmd" != x ]; then $doit $chowncmd $dsttmp; else true;fi &&
Chris@0 226 if [ x"$chgrpcmd" != x ]; then $doit $chgrpcmd $dsttmp; else true;fi &&
Chris@0 227 if [ x"$stripcmd" != x ]; then $doit $stripcmd $dsttmp; else true;fi &&
Chris@0 228 if [ x"$chmodcmd" != x ]; then $doit $chmodcmd $dsttmp; else true;fi &&
Chris@0 229
Chris@0 230 # Now rename the file to the real destination.
Chris@0 231
Chris@0 232 $doit $rmcmd -f $dstdir/$dstfile &&
Chris@0 233 $doit $mvcmd $dsttmp $dstdir/$dstfile
Chris@0 234
Chris@0 235 fi &&
Chris@0 236
Chris@0 237
Chris@0 238 exit 0