From f2598c47fb86c7ebc65a25b588316ee2e6e648cf Mon Sep 17 00:00:00 2001 From: DarkWiiPlayer Date: Tue, 21 Jul 2020 20:02:17 +0200 Subject: [PATCH] Switch scripts to themed dmenu wrapper --- bin/mansplain | 1 + bin/unicode | 1 + 2 files changed, 2 insertions(+) diff --git a/bin/mansplain b/bin/mansplain index cd14577..f813bf3 100755 --- a/bin/mansplain +++ b/bin/mansplain @@ -1,4 +1,5 @@ #!/bin/sh +alias dmenu="$HOME/darkrc/bin/dmenu-themed " manpage=$(apropos . | awk '{print $1}' | dmenu -p 'Mansplain what?' -l 10 -b) if [ -z "$manpage" ]; then echo "Manpage not found or no manpage selected"; exit diff --git a/bin/unicode b/bin/unicode index 1802761..6b8b282 100755 --- a/bin/unicode +++ b/bin/unicode @@ -1,4 +1,5 @@ #!/bin/sh +alias dmenu="$HOME/darkrc/bin/dmenu-themed" namelist=$HOME/.local/unicode/NamesList.txt if [ ! -f "$namelist" ] then