From 9195205259e1e99a165339dddd2b14f30d92736c Mon Sep 17 00:00:00 2001 From: Blista Kanjo Date: Thu, 22 Jun 2023 00:24:38 -0400 Subject: delete: bin-etc-opt-usr from this repo --- .local/bin-etc-opt-usr/opt/custom-dmenu-build/dmenu_path | 13 ------------- 1 file changed, 13 deletions(-) delete mode 100755 .local/bin-etc-opt-usr/opt/custom-dmenu-build/dmenu_path (limited to '.local/bin-etc-opt-usr/opt/custom-dmenu-build/dmenu_path') diff --git a/.local/bin-etc-opt-usr/opt/custom-dmenu-build/dmenu_path b/.local/bin-etc-opt-usr/opt/custom-dmenu-build/dmenu_path deleted file mode 100755 index 3a7cda7..0000000 --- a/.local/bin-etc-opt-usr/opt/custom-dmenu-build/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