Hash :
d7134524
Author :
Thomas de Grivel
Date :
2023-02-22T14:35:21
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63
#!/bin/sh
set -e
usage () {
{
echo 'Usage :'
echo ' rbpkg_bootstrap [-f] [RBPKG_DIR]'
echo ' RBPKG_DIR=~/rbpkg rbpkg_bootstrap [-f]'
echo ' Installs rbpkg into RBPKG_DIR.'
echo 'Options :'
echo ' -f Clear RBPKG_DIR before installing.'
echo 'Environment variables :'
echo ' HOME Home directory.'
echo ' PATH Binaries path.'
echo ' RBPKG_DIR Target installation directory.'
} >&2
exit 1
}
# config
FORCE=No
while [ $# -gt 0 ]; do
if [ "x$1" = "x-h" ]; then
usage
elif [ "x$1" = "x-f" ]; then
FORCE=Yes
shift
else
RBPKG_DIR="$1"
shift
fi
done
if [ "x${RBPKG_DIR}" = "x" ]; then
if [ "x${HOME}" = "x" ]; then
echo "HOME is not set" >&2
exit 1
fi
RBPKG_DIR="${HOME}/rbpkg"
fi
# clone
if [ -d "${RBPKG_DIR}" ]; then
if [ "x$FORCE" = "xYes" ]; then
rm -rf "${RBPKG_DIR}"
git clone https://git.kmx.io/kmx.io/rbpkg.git "${RBPKG_DIR}"
fi
else
git clone https://git.kmx.io/kmx.io/rbpkg.git "${RBPKG_DIR}"
fi
# profile
mkdir -p "${RBPKG_DIR}/etc/rbpkg"
{
echo "export RBPKG_DIR='${RBPKG_DIR}'"
echo "export PATH='${RBPKG_DIR}/bin:${PATH}'"
echo "export LD_LIBRARY_PATH='${RBPKG_DIR}/lib'"
} > "${RBPKG_DIR}/etc/rbpkg/profile"
# source profile
echo ". ${RBPKG_DIR}/etc/rbpkg/profile"
. "${RBPKG_DIR}/etc/rbpkg/profile"