From 8be4a5d29a7c98339601ddbbc030e41a6c6f965c Mon Sep 17 00:00:00 2001 From: Tristan Date: Thu, 23 Jun 2022 15:23:48 +0200 Subject: [PATCH] Add convenience debian scratch env setup script Purely for local reproduction purposes --- tool/setup-debian.sh | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100755 tool/setup-debian.sh 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