commit fdee145218e87d2aa31ccee7a3d16334aba1d4c2 parent 521a932cb3eba697cc4afd17d0d4a8764a394e32 Author: Anders Damsgaard <anders@adamsgaard.dk> Date: Tue, 23 Feb 2021 17:19:24 +0100 .profile: add p* aliases for man-pages-posix Diffstat:
| M | .profile | | | 5 | +++++ |
1 file changed, 5 insertions(+), 0 deletions(-)
diff --git a/.profile b/.profile @@ -151,6 +151,11 @@ randomman() { plumb "$(randomfile /usr/share/man/man[23567])" } alias or='plumb "$(randomfile)"' +if test -d /usr/local/share/doc/posix/man; then + alias pman='man -M /usr/local/share/doc/posix/man' + alias papropos='apropos -M /usr/local/share/doc/posix/man' + alias pwhatis='whatis -M /usr/local/share/doc/posix/man' +fi video_screenshot() { ffmpeg -i "$1" -frames:v 1 "${1%.*}.jpg"