From ebed0c83c4c27db5f48f498afb2c1715a27ab6e9 Mon Sep 17 00:00:00 2001 From: David Schroeder Date: Fri, 21 Apr 2023 19:52:37 -0500 Subject: [PATCH] Update default.inc --- default.inc | 3 +++ 1 file changed, 3 insertions(+) diff --git a/default.inc b/default.inc index 43c7b9b..9246837 100755 --- a/default.inc +++ b/default.inc @@ -26,6 +26,9 @@ containsElement () { return 1 } +function join_by { local IFS="$1"; shift; echo "$*"; } + + if type apt &>/dev/null; then ATYPE="apt" if [ "$EUID" -ne 0 ]; then APTFUNC='sudo apt'