2 files changed, 57 insertions, 0 deletions
diff --git a/share/config.awk b/share/config.awk
new file mode 100755
index 0000000..9d0a117
--- /dev/null
+++ b/share/config.awk
@@ -0,0 +1,35 @@
+#!/usr/bin/awk -f
+
+BEGIN {
+	FS = "[ ]"; # use a single space as field separator and don't trim input
+	ind = 0; # indentation level
+	last = ARGC - 3; # last argument index
+	exitcode = 1; # whether anything has been matched
+	if(last < 0) { # there should be at least one argument after the filename
+		exit 1;
+	}
+	ARGC = 2; # don't read ARGV[2] and onward as files
+}
+
+END {
+	exit exitcode;
+}
+
+$0 != "" { # exit when the indentation block is exited
+	for(i = 0; i < ind; i++) {
+		if(! sub(/^\t/, "")) {
+			exit exitcode;
+		}
+	}
+}
+
+# if on the last argument, interpret it as a key and print the value
+ind == last && $1 == ARGV[ind + 2] {
+	exitcode = 0;
+	print substr($0, length($1) + 2);
+}
+# if not on the last argument, find the string exactly and increment indentation
+ind != last && $0 == ARGV[ind + 2] {
+	ind++;
+}
+
diff --git a/share/inet2.sh b/share/inet2.sh
new file mode 100755
index 0000000..73bd279
--- /dev/null
+++ b/share/inet2.sh
@@ -0,0 +1,22 @@
+#!/usr/bin/env sh
+
+run() {
+  printf '$ \x1b[32;1m%s\x1b[0m\n' "$*"
+  "$@"
+}
+step() {
+  printf '\x1b[34;1m>> %s\x1b[0m\n' "$*"
+}
+
+getval() {
+  ${INET2_PREFIX}/share/inet2/config.awk /etc/inet2.conf "$@"
+}
+
+haskey() {
+  getval interface | while read -r inter; do
+    if getval "interface $inter" "$1"; then
+      echo "true"
+      return
+    fi
+  done
+}