diff options
author | Marvin Borner | 2022-05-31 14:17:19 +0200 |
---|---|---|
committer | Marvin Borner | 2022-05-31 14:17:19 +0200 |
commit | b8be82d9113dd0fec9021aa573039cc64dbd849a (patch) | |
tree | 0694d21e5ba03e843dc6f03d1c5b1ed033123875 /.repos/dmenu/dmenu_path | |
parent | 272cc6e941d798d7270fcf74a98f592ef06e14ac (diff) |
Clean
Diffstat (limited to '.repos/dmenu/dmenu_path')
-rwxr-xr-x | .repos/dmenu/dmenu_path | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/.repos/dmenu/dmenu_path b/.repos/dmenu/dmenu_path deleted file mode 100755 index 3a7cda7..0000000 --- a/.repos/dmenu/dmenu_path +++ /dev/null @@ -1,13 +0,0 @@ -#!/bin/sh - -cachedir="${XDG_CACHE_HOME:-"$HOME/.cache"}" -cache="$cachedir/dmenu_run" - -[ ! -e "$cachedir" ] && mkdir -p "$cachedir" - -IFS=: -if stest -dqr -n "$cache" $PATH; then - stest -flx $PATH | sort -u | tee "$cache" -else - cat "$cache" -fi |