Moved from github

1 files changed, 12 insertions, 0 deletions

diff --git a/.local/bin/development/opout b/.local/bin/development/opout
new file mode 100755
index 0000000..3adc8fd
--- /dev/null
+++ b/.local/bin/development/opout
@@ -0,0 +1,12 @@
+#!/bin/sh
+
+basename="${1%.*}"
+err() { printf "opout: %s\n" "$@" >&2; exit 1; }
+
+case "${*}" in
+	'') err "filename required" ;;
+	*.tex|*.sil|*.m[dse]|*.[rR]md|*.mom|*.[0-9]) target="$(getcomproot "$1" || echo "$1")" ; setsid -f "${OPENER:-xdg-open}" "${target%.*}".pdf >/dev/null 2>&1 ;;
+	*.html) setsid -f xdg-open "$basename".html >/dev/null 2>&1 ;;
+	*.sent) setsid -f sent "$1" >/dev/null 2>&1 ;;
+	*) err "file extension unmatched"
+esac