aboutsummaryrefslogtreecommitdiff
path: root/dmenu_path
diff options
context:
space:
mode:
authorAnselm R. Garbe <arg@suckless.org>2007-05-14 11:56:41 +0200
committerAnselm R. Garbe <arg@suckless.org>2007-05-14 11:56:41 +0200
commit4042a11e5174633e9beeeec120937856e1d0f74f (patch)
tree8f6e3be24a5459e7b1481d94b90cff4689f46eeb /dmenu_path
parentaa2f73fc88ef3e6946e75bab54a3c0f83f887b3b (diff)
applied anydot's dmenu_path caching patch, thank you!
Diffstat (limited to 'dmenu_path')
-rwxr-xr-xdmenu_path31
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 @@
1#!/bin/sh 1#!/bin/sh
2CACHE=$HOME/.dmenu_cache
3UPTODATE=1
2IFS=: 4IFS=:
3for dir in $PATH 5
4do 6if test ! -f $CACHE
5 for file in "$dir"/* 7then
8 unset UPTODATE
9fi
10
11if test $UPTODATE
12then
13 for dir in $PATH
6 do 14 do
7 test -x "$file" && echo "${file##*/}" 15 test $dir -nt $CACHE && unset UPTODATE
8 done 16 done
9done | sort | uniq 17fi
18
19if test ! $UPTODATE
20then
21 for dir in $PATH
22 do
23 for file in "$dir"/*
24 do
25 test -x "$file" && echo "${file##*/}"
26 done
27 done | sort | uniq > $CACHE
28fi
29
30cat $CACHE