Created
September 10, 2016 22:41
-
-
Save aude/95b6402a01168734c681a1b4105c4e33 to your computer and use it in GitHub Desktop.
pacman fast manpage index update
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
[Trigger] | |
Type = File | |
Operation = Install | |
Operation = Upgrade | |
Operation = Remove | |
Target = usr/share/man/* | |
[Action] | |
Description = Updating manpage index... | |
When = PostTransaction | |
Exec = /bin/bash -c 'while read -r f; do [[ $f == *.gz ]] && mandb --filename "/$f" > /dev/null; done' | |
NeedsTargets |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment