diff options
Diffstat (limited to 'desktop/dmenu/dmenu_path')
| -rw-r--r-- | desktop/dmenu/dmenu_path | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/desktop/dmenu/dmenu_path b/desktop/dmenu/dmenu_path deleted file mode 100644 index 7896a9e957..0000000000 --- a/desktop/dmenu/dmenu_path +++ /dev/null @@ -1,26 +0,0 @@ -#!/bin/sh -CACHE=$HOME/.dmenu_cache -IFS=: - -uptodate() { - test -f "$CACHE" && - for dir in $PATH - do - test ! $dir -nt "$CACHE" || return 1 - done -} - -if ! uptodate -then - for dir in $PATH - do - cd "$dir" && - for file in * - do - test -x "$file" && echo "$file" - done - done | sort | uniq > "$CACHE".$$ && - mv "$CACHE".$$ "$CACHE" -fi - -cat "$CACHE" |