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 /dmenu_path | |
| parent | fixed a small bug in dmenu when an empty font is supplied (diff) | |
| download | dmenu-4042a11e5174633e9beeeec120937856e1d0f74f.tar.gz dmenu-4042a11e5174633e9beeeec120937856e1d0f74f.tar.bz2 dmenu-4042a11e5174633e9beeeec120937856e1d0f74f.zip | |
applied anydot's dmenu_path caching patch, thank you!
Diffstat (limited to 'dmenu_path')
| -rwxr-xr-x | dmenu_path | 31 |
1 files changed, 26 insertions, 5 deletions
diff --git a/dmenu_path b/dmenu_path index f64c82e..e590a5c 100755 --- a/dmenu_path +++ b/dmenu_path @@ -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 |