From 8ef6a87ba1532c0a2b35120ffdc36dae13498170 Mon Sep 17 00:00:00 2001
From: Sebastian Lenzlinger <s.m.lenzlinger@student.vu.nl>
Date: Thu, 4 Dec 2025 00:34:50 +0100
Subject: [PATCH] Add new lib for shell

---
 shellib/dot-local/lib/shellib/libseb.sh | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 shellib/dot-local/lib/shellib/libseb.sh

diff --git a/shellib/dot-local/lib/shellib/libseb.sh b/shellib/dot-local/lib/shellib/libseb.sh
new file mode 100644
index 0000000..0b5e779
--- /dev/null
+++ b/shellib/dot-local/lib/shellib/libseb.sh
@@ -0,0 +1,12 @@
+log() {
+  # Write msg to stderr.
+  # Taken from https://github.com/oils-for-unix/oils/blob/master/stdlib/osh/two.sh
+  echo "$@" >&2
+}
+
+die() {
+  # Write error msg with script name and exit with status 1.
+  # Taken from https://github.com/oils-for-unix/oils/blob/master/stdlib/osh/two.sh
+  log "$@: fatal $@"
+  exit 1
+}