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