diff options
author | InigoGutierrez <inigogf.95@gmail.com> | 2020-05-09 16:16:33 +0200 |
---|---|---|
committer | InigoGutierrez <inigogf.95@gmail.com> | 2020-05-09 16:16:33 +0200 |
commit | 83616c5c2de41c90350276410b352b5e047d3f87 (patch) | |
tree | 53504bdb5b0647e2540dc62ee0dc7e3b49a3235b /randman.sh | |
parent | 6630070802f4ecd3b471a19e5d5629eb7461f60c (diff) | |
download | scripts-83616c5c2de41c90350276410b352b5e047d3f87.tar.gz scripts-83616c5c2de41c90350276410b352b5e047d3f87.zip |
Created randman.sh for showing a random man page.
Diffstat (limited to 'randman.sh')
-rwxr-xr-x | randman.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/randman.sh b/randman.sh new file mode 100755 index 0000000..6a6c96a --- /dev/null +++ b/randman.sh @@ -0,0 +1,8 @@ +#!/bin/sh +# +# randman.sh +# +# Opens a random man page from section 1: Executable programs or shell commands. +# Inspired by DistroTube: https://www.youtube.com/watch?v=vrN5SPeVUu0 + +man "$(find /usr/share/man/man1/ -type f | shuf | sed 1q | sed '{s|.*/||; s|\.gz$||}')" |