mmapではまる

offset は getpagesize(2) の返すページサイズの整数倍でなければならない。

mmap に offset を指定するとうまく動かなくて、原因がわからず Linux のカーネルソースを読んで offset & ~PAGE_MASK が 0にならないといけないことがわかった。
でその後に、この1文に気づいた。orz

phpfuncdoc 私家版

# .zshrc
function phpfuncdoc () {
  w3m -T text/html /usr/share/doc/php-doc/html/function.$1.html|cat
}

これいいね。自分で使うなら下のような感じかな。単にアンダースコアとハイフンを置換してエラー処理入れただけだけど。

function phpfuncdoc() {
  filename="/usr/share/doc/php-doc/html/function.${1/_/-}.html"
  if [ -e $filename ]; then
    w3m -T text/html $filename
  else
    echo "No documentation for php function \"$1\" found." >&2
  fi
}

cat に pipe するかどうかはお好みで。自分は zsh 使っているけど、多分 bash でも動くと思う。
そして、Ubuntuにはphp-docなんてパッケージがない罠。php3-docはあるけど。