From b8be82d9113dd0fec9021aa573039cc64dbd849a Mon Sep 17 00:00:00 2001 From: Marvin Borner Date: Tue, 31 May 2022 14:17:19 +0200 Subject: Clean --- .repos/dmenu/dmenu_path | 13 ------------- 1 file changed, 13 deletions(-) delete mode 100755 .repos/dmenu/dmenu_path (limited to '.repos/dmenu/dmenu_path') 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 -- cgit v1.2.3