From: Anselm R. Garbe Date: Mon, 14 May 2007 09:56:41 +0000 (+0200) Subject: applied anydot's dmenu_path caching patch, thank you! X-Git-Url: https://git.danieliu.xyz/?a=commitdiff_plain;h=4042a11e5174633e9beeeec120937856e1d0f74f;p=dmenu.git applied anydot's dmenu_path caching patch, thank you! --- 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