Xinqi Bao's Git
projects
/
dmenu.git
/ diff
summary
|
log
|
commit
|
diff
|
tree
raw
|
patch
|
inline
| side by side (parent:
aa2f73f
)
applied anydot's dmenu_path caching patch, thank you!
author
Anselm R. Garbe <
[email protected]
>
Mon, 14 May 2007 09:56:41 +0000
(11:56 +0200)
committer
Anselm R. Garbe <
[email protected]
>
Mon, 14 May 2007 09:56:41 +0000
(11:56 +0200)
dmenu_path
diff
|
blob
|
history
diff --git
a/dmenu_path
b/dmenu_path
index
f64c82e
..
e590a5c
100755
(executable)
--- a/
dmenu_path
+++ b/
dmenu_path
@@
-1,9
+1,30
@@
#!/bin/sh
#!/bin/sh
+CACHE=$HOME/.dmenu_cache
+UPTODATE=1
IFS=:
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
do
- test
-x "$file" && echo "${file##*/}"
+ test
$dir -nt $CACHE && unset UPTODATE
done
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