diff --git a/tool/setup-debian.sh b/tool/setup-debian.sh new file mode 100755 index 0000000..6e9882b --- /dev/null +++ b/tool/setup-debian.sh @@ -0,0 +1,27 @@ +#!/usr/bin/env bash + +set -euo pipefail + +export DEBIAN_FRONTEND=noninteractive + +apt -qq update +apt -qq -y --no-install-recommends install apt-utils apt-transport-https ca-certificates +sed -i -e 's/http\:/https\:/g' /etc/apt/sources.list +apt -qq update +apt -qq -y --no-install-recommends install \ + build-essential \ + bzip2 \ + ca-certificates \ + cmake \ + curl \ + debhelper \ + debian-archive-keyring \ + devscripts \ + git \ + gnupg2 \ + libpcre2-dev \ + libreadline-dev \ + libsystemd-dev \ + pkg-config \ + tar \ + zlib1g-dev