diff options
author | Anselm R. Garbe <arg@suckless.org> | 2007-05-14 11:56:41 +0200 |
---|---|---|
committer | Anselm R. Garbe <arg@suckless.org> | 2007-05-14 11:56:41 +0200 |
commit | 4042a11e5174633e9beeeec120937856e1d0f74f (patch) | |
tree | 8f6e3be24a5459e7b1481d94b90cff4689f46eeb | |
parent | aa2f73fc88ef3e6946e75bab54a3c0f83f887b3b (diff) |
applied anydot's dmenu_path caching patch, thank you!
-rwxr-xr-x | dmenu_path | 31 |
1 files changed, 26 insertions, 5 deletions
@@ -1,9 +1,30 @@ #!/bin/sh +CACHE=$HOME/.dmenu_cache +UPTODATE=1 IFS=: -for dir in $PATH -do - for file in "$dir"/* + +if test ! -f $CACHE +then + unset UPTODATE +fi + +if test $UPTODATE +then + for dir in $PATH do - test -x "$file" && echo "${file##*/}" + test $dir -nt $CACHE && unset UPTODATE done -done | sort | uniq +fi + +if test ! $UPTODATE +then + for dir in $PATH + do + for file in "$dir"/* + do + test -x "$file" && echo "${file##*/}" + done + done | sort | uniq > $CACHE +fi + +cat $CACHE |