From 8223923fb10f6f6a531da6eae7b23d4da1e8c694 Mon Sep 17 00:00:00 2001
From: Max Resnick <max@ofmax.li>
Date: Wed, 22 Nov 2023 20:59:59 -0800
Subject: fix: resolve bugs in install script

---
 src/base/bin/install_deb | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/base/bin/install_deb b/src/base/bin/install_deb
index d367cfd..2656179 100755
--- a/src/base/bin/install_deb
+++ b/src/base/bin/install_deb
@@ -1,8 +1,9 @@
 #!/usr/bin/env bash
 DEBIAN_FRONTEND=noninteractive
-APT_OPTS="--no-install-recommends --yes"
+DEFAULT_APT_OPTS="--no-install-recommends --yes"
+APT_OPTS="${APT_OPTS:-$DEFAULT_APT_OPTS}"
 set -e
 apt-get update --yes
-exec apt-get install ${APT_OPTS} $@
+apt-get install ${APT_OPTS} $@
 apt-get clean
 rm -r /var/lib/apt/lists /var/cache/apt/archives
-- 
cgit v1.2.3