erlang

For some reason, the Gentoo install of erlang put the man pages into man sections that ended in “erl”. For example, instead a directory named man3 for the 3rd man page section, it’s man3erl.

I wrote a quick alias erlman that only searches these erlang man page sections.

~/.bashrc

  1.  
  2. alias erlman="man -S 1erl:3erl:4erl:6erl"
  3.  

Leave a Reply

notes about computers and lifestyle