From bf7f28127e4f3683cdad5396bc80c4cfb2489d23 Mon Sep 17 00:00:00 2001 From: Joseph Hunkeler Date: Thu, 14 Jul 2022 00:33:29 -0400 Subject: Initial commit --- install.sh | 51 +++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 51 insertions(+) create mode 100755 install.sh (limited to 'install.sh') diff --git a/install.sh b/install.sh new file mode 100755 index 0000000..8d913b5 --- /dev/null +++ b/install.sh @@ -0,0 +1,51 @@ +#!/usr/bin/env bash + +function usage() { + printf "Options: + --help (-h) Display this message + --prefix Path to install (default: $prefix) + --destdir A container directory (for packaging)\n" +} + +# Assign default paths if not modified by the user +[[ -z "${prefix}" ]] && prefix="/usr/local" +[[ -z "${destdir}" ]] && destdir="" + +# Parse arguments +i=0 +argv=($@) +nargs=${#argv[@]} +while [[ $i < $nargs ]]; do + key="${argv[$i]}" + if [[ "$key" =~ '=' ]]; then + value=${key#*=} + key=${key%=*} + else + value="${argv[$i+1]}" + fi + case "$key" in + --help|-h) + usage + exit 0 + ;; + --prefix) + prefix="$value" + (( i++ )) + ;; + --destdir) + destdir="$value" + (( i++ )) + ;; + esac + (( i++ )) +done + +set -e +dest="${destdir}${prefix}" +mkdir -p "${dest}"/bin +for src in bin/*; do + x="$(basename $src)" + echo "Installing $x in $dest"/bin + install -m755 "$src" "$dest"/bin +done +echo done -- cgit