- 0 Discussione
-
Selezionare una man page a caso
Script per la shell Bash (amichevolmente chiamato "tiradadi dei man") che seleziona una manpage a caso tra quelle installate.
echo `find /usr/share/man/ | awk '{FS="/"}{ print $NF}'` |
awk '{FS=" "}{srand();print$ (int(10000*rand()) % NF)}' |
awk -F "." '{print $1}' | xargs man