dickmenu/dmenu_path

33 lines
391 B
Plaintext
Raw Normal View History

2007-02-23 09:16:43 +00:00
#!/bin/sh
CACHE=$HOME/.dmenu_cache
UPTODATE=1
IFS=:
2007-05-23 12:22:27 +01:00
uptodate() { [ $UPTODATE -eq 1 ]; }
if test ! -f $CACHE
then
2007-05-23 12:22:27 +01:00
UPTODATE=0
fi
2007-05-23 12:22:27 +01:00
if uptodate
then
for dir in $PATH
do
2007-05-23 12:22:27 +01:00
test $dir -nt $CACHE && { UPTODATE=0; break; }
done
fi
2007-05-23 12:22:27 +01:00
if ! 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