dist.src/install.sh

Mon, 23 Sep 2024 22:52:48 +0200

author
Mike Becker <universe@uap-core.de>
date
Mon, 23 Sep 2024 22:52:48 +0200
changeset 115
36e4aedd5663
parent 111
cb128bae1161
child 117
bc096357e324
permissions
-rwxr-xr-x

fix hardcoded default for prefix in help text

fixes #428

#!/bin/sh

PREFIX=/usr/local

# help text
printhelp()
{
  echo "Usage:"
  echo "  $0 [PREFIX=<path>]"
  echo "  $0 home"
  echo
  echo "Default PREFIX: /usr/local"
  echo "With 'home' shortcut, PREFIX: $HOME/.local"
}

# error function
exit_on_error()
{
  echo "$1"
  exit 1
}

#
# parse arguments
#
for arg in "$@"
do
    case "$arg" in
    "PREFIX="*)         PREFIX=${arg#PREFIX=} ;;
    "--help"*)          printhelp; exit 1 ;;
    "home"*)            PREFIX="$HOME/.local" ;;
    "-"*) echo "unknown option: $arg"; exit 1 ;;
  esac
done

#
# create install dir
#
echo "mkdir -p $PREFIX/lib/uwproj $PREFIX/bin"
mkdir -p "$PREFIX/lib/uwproj" "$PREFIX/bin" \
  || exit_on_error "Creating install directory failed."

#
# install the JAR file
#
echo "cp ../target/uwproj-0.2.0-SNAPSHOT-jar-with-dependencies.jar $PREFIX/lib/uwproj/uwproj-0.2.0-SNAPSHOT.jar"
cp "../target/uwproj-0.2.0-SNAPSHOT-jar-with-dependencies.jar" "$PREFIX/lib/uwproj/uwproj-0.2.0-SNAPSHOT.jar" \
  || exit_on_error "Installing JAR file failed."

#
# create a run script in the bin dir
#
echo "cp bin/uwproj $PREFIX/bin"
sed "s:%%PREFIX%%:$PREFIX:g" "bin/uwproj" > "$PREFIX/bin/uwproj" \
  || exit_on_error "Creating run script failed."

echo "chmod 0555 $PREFIX/bin/uwproj"
chmod 0755 "$PREFIX/bin/uwproj" \
  || exit_on_error "Changing permissions for run script failed."

echo
echo "uwproj has been successfully installed."

mercurial