#/bin/bash # PREFIX gets set with the following priorities: # 1) use provided argument # 2) use environement PREFIX # 3) use "/usr/local/" if [ "$1" ]; then PREFIX="$1" else : ${PREFIX:="/usr/local"} fi if [ "$2" ]; then INCPREFIX="$2" else : ${INCPREFIX:="${PREFIX}/share"} fi # Create necessary directories for i in "${PREFIX}/bin" "${INCPREFIX}/share/pizza"; do if [ ! -d "$i" ]; then mkdir -p "$i" fi done install -m 755 src/pizza "${PREFIX}/bin/pizza" install -m 644 assets/* "${INCPREFIX}/share/pizza/" # Tell the user what to do next, if he used another PREFIX if [ "${INCPREFIX}" != "/usr/local" ]; then echo 'Your installation path differs from /usr/local' echo 'For pizza to run properly, please either modify the script' echo 'or set the PIZZAINC-variable accordingly.' echo '(Add the following to your ${shell}rc:' echo -e "\t export PIZZAINC=\"${INCPREFIX}/pizza/\"" echo ")" fi