2022-02-19 15:32:52 +01:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
2022-03-01 13:55:05 +01:00
|
|
|
# abort if not executed as root
|
2022-02-19 15:32:52 +01:00
|
|
|
if [[ $(id -u) != "0" ]]; then
|
2022-02-25 16:33:46 +01:00
|
|
|
echo "Usage: run ${0##*/} as root" 1>&2
|
2022-02-19 15:32:52 +01:00
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
|
|
|
|
if [[ -z $1 ]]; then
|
2022-02-25 16:33:46 +01:00
|
|
|
echo "Usage: ${0##*/} [package names...]" 1>&2
|
2022-02-19 15:32:52 +01:00
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
|
|
|
|
set -e
|
|
|
|
|
|
|
|
SETUP_URL="https://downloads.mariadb.com/MariaDB/mariadb_repo_setup"
|
|
|
|
|
|
|
|
if [ ! -f "/etc/apt/sources.list.d/mariadb.list" ]; then
|
|
|
|
echo "Adding MariaDB packages sources from \"$SETUP_URL\"..."
|
|
|
|
curl -Ls $SETUP_URL | bash -s -- --mariadb-server-version="mariadb-10.6"
|
|
|
|
fi
|
|
|
|
|
|
|
|
echo "Installing \"$1\"..."
|
|
|
|
|
|
|
|
apt-get update
|
|
|
|
apt-get -qq install $1
|
|
|
|
|
|
|
|
echo "Done."
|