From 8d20d5d18d8504d9e95748a15988f125593ef031 Mon Sep 17 00:00:00 2001
From: tv <tv@krebsco.de>
Date: Sun, 3 Jan 2021 21:41:38 +0100
Subject: add tabfs-wrapper for all things shell scripting

---
 fs/tabfs-wrapper | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)
 create mode 100755 fs/tabfs-wrapper

(limited to 'fs/tabfs-wrapper')

diff --git a/fs/tabfs-wrapper b/fs/tabfs-wrapper
new file mode 100755
index 0000000..9116a52
--- /dev/null
+++ b/fs/tabfs-wrapper
@@ -0,0 +1,28 @@
+#! /bin/sh
+set -efu
+
+# allow wrapper to find tabfs executable
+PATH=$(dirname "$0")${PATH:+:$PATH}
+
+pgrep tabfs | grep -v ^$$\$ | xargs kill -9 2>/dev/null || :
+
+OS=$(uname -s)
+case $OS in
+  Darwin)
+    diskutil umount force mnt >/dev/null || :
+    extraArgs=
+    ;;
+  FreeBSD)
+    umount -f mnt 2>/dev/null || :
+    extraArgs=
+    ;;
+  Linux)
+    fusermount -u mnt 2>/dev/null || :
+    extraArgs=-oauto_unmount
+    ;;
+  *)
+    echo "tabfs-wrapper: error: unknown OS: $OS" >&2
+    exit 2
+esac
+
+exec tabfs -f $extraArgs -odirect_io mnt
-- 
cgit v1.2.3