dotfiles

configuration files for shell, text editor, graphical environment, etc.
git clone git://src.adamsgaard.dk/dotfiles # fast
git clone https://src.adamsgaard.dk/dotfiles.git # slow
Log | Files | Refs | README | LICENSE Back to index

manpick (185B)

      1 #!/bin/sh
      2 find /usr/local/man/man[1235678] /usr/{,local/}share/man/man[1235678] -type f |\
      3 awk '{
      4 match($1, /[A-z0-9]*\.[0-9]/)
      5 printf "%s\t%s\n", substr($1, RSTART), $1
      6 }' |\
      7 tsvplumb