man を PDF で読む
必要なもの
Arch Linux の場合
sudo pacman -Syu mandoc textlive-most
yay -Syu pandoc-bin
スクリプト
~/.local/bin/man-to-pdf
#!/bin/sh
set -e
root="${MAN_TO_PDF_ROOT:-$HOME/man-pdf}"
section="$1"
name="$2"
in="/usr/share/man/man$section/$name.$section.gz"
out="$root/man$section/$name.$section.pdf"
mkdir -p "$(dirname "$out")"
mandoc -Thtml "$in" | pandoc -f html -o "$out"
使い方
Google Drive 等のクラウドストレージで同期しているディレクトリ (例: ~/gdrive/man) を MAN_TO_PDF_ROOT として設定しておき、以下のように読みたいページの section と name を指定しコマンドを実行した後 iPad を開く。
man-to-pdf 8 pacman