Update default.inc

2023-04-21 19:52:37 -05:00
parent 3ac1d92626
commit ebed0c83c4
1 changed files with 3 additions and 0 deletions
--- 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'