2022-03-17 09:14:08 +00:00
|
|
|
#!/bin/bash
|
2022-02-19 14:32:52 +00:00
|
|
|
|
2022-03-01 12:55:05 +00:00
|
|
|
# abort if not executed as root
|
2022-02-19 14:32:52 +00:00
|
|
|
if [[ $(id -u) != "0" ]]; then
|
2022-02-25 15:33:46 +00:00
|
|
|
echo "Usage: run ${0##*/} as root" 1>&2
|
2022-02-19 14:32:52 +00:00
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
|
|
|
|
if [[ -z $1 ]]; then
|
2022-02-25 15:33:46 +00:00
|
|
|
echo "Usage: ${0##*/} [package names...]" 1>&2
|
2022-02-19 14:32:52 +00: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\"..."
|
2022-03-16 18:09:53 +00:00
|
|
|
/usr/bin/curl -Ls $SETUP_URL | /bin/bash -s -- --mariadb-server-version="mariadb-10.6"
|
2022-02-19 14:32:52 +00:00
|
|
|
fi
|
|
|
|
|
|
|
|
echo "Installing \"$1\"..."
|
|
|
|
|
2022-03-16 18:09:53 +00:00
|
|
|
/usr/bin/apt-get update
|
|
|
|
/usr/bin/apt-get -qq install $1
|
2022-02-19 14:32:52 +00:00
|
|
|
|
|
|
|
echo "Done."
|