Update after.sh
This commit is contained in:
parent
dc5b1f1ef2
commit
20a78a4067
1 changed files with 2 additions and 9 deletions
11
after.sh
11
after.sh
|
|
@ -143,15 +143,8 @@ setopt HIST_IGNORE_SPACE
|
|||
# ─────────────────────────────────────
|
||||
|
||||
manual() {
|
||||
local pdf
|
||||
pdf=$(mktemp --suffix=.pdf) || return 1
|
||||
|
||||
if ! man -Tpdf "$1" > "$pdf" 2>/dev/null; then
|
||||
rm -f "$pdf"
|
||||
echo "No manual entry for $1"
|
||||
return 1
|
||||
fi
|
||||
|
||||
local pdf=$(mktemp --suffix=.pdf) || return 1
|
||||
man -Tpdf "$1" > "$pdf" 2>/dev/null || { rm -f "$pdf"; echo "No manual entry for $1"; return 1; }
|
||||
okular "$pdf"
|
||||
rm -f "$pdf"
|
||||
}
|
||||
|
|
|
|||
Loading…
Reference in a new issue