diff options
Diffstat (limited to 'debian/.local/bin/opout')
| -rwxr-xr-x | debian/.local/bin/opout | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/debian/.local/bin/opout b/debian/.local/bin/opout new file mode 100755 index 0000000..70bc2cb --- /dev/null +++ b/debian/.local/bin/opout @@ -0,0 +1,16 @@ +#!/bin/sh + +# opout: "open output": A general handler for opening a file's intended output, +# usually the pdf of a compiled document. I find this useful especially +# running from vim. + +basename="${1%.*}" + +case "${*}" in +*.tex | *.sil | *.m[dse] | *.[rR]md | *.mom | *.[0-9]) + target="$(getcomproot "$1" || echo "$1")" + setsid -f xdg-open "${target%.*}".pdf >/dev/null 2>&1 + ;; +*.html) setsid -f "$BROWSER" "$basename".html >/dev/null 2>&1 ;; +*.sent) setsid -f sent "$1" >/dev/null 2>&1 ;; +esac |
