Merge bf360d254d097cc6040d134293c359398058c7c8 into f853f1884a8f0c244765192dc6f5a910a7e2b8e5

This commit is contained in:
Alessio Artoni 2025-04-12 11:01:53 +03:00 committed by GitHub
commit 047a9da680
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -7,7 +7,12 @@
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 ;;
*.tex|*.sil|*.m[dse]|*.[rR]md|*.mom|*.[0-9])
target="$(getcomproot "$1" || echo "$1")"
target="${target##*/}"
target="$(find . -name "${target%.*}".pdf | head -n 1)"
setsid -f xdg-open "$target" >/dev/null 2>&1
;;
*.html) setsid -f "$BROWSER" "$basename".html >/dev/null 2>&1 ;;
*.sent) setsid -f sent "$1" >/dev/null 2>&1 ;;
esac