From e540b7fed768a77facc2993dd7307b30b49c2546 Mon Sep 17 00:00:00 2001 From: Mattias Andrée Date: Thu, 23 Nov 2023 17:57:29 +0100 Subject: Update dmenu to use different fonts (primary size due to different DPI, distance, and screen size) on different computers MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Mattias Andrée --- dmenu/Makefile | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) (limited to 'dmenu/Makefile') diff --git a/dmenu/Makefile b/dmenu/Makefile index d60be4d..7183f39 100644 --- a/dmenu/Makefile +++ b/dmenu/Makefile @@ -1,14 +1,19 @@ .POSIX: install: - ../check-installed-shebang dmenu + ../check-installed-shebang dmenu.gpp ../check-installed-shebang ipa ../check-installed-shebang unicode ../check-installed-shebang plumb ../check-in-path vis + ../check-installed general-preprocessor cd unicode.d && make + gpp -s '%%' < dmenu.gpp > .dmenu + chmod +x .dmenu + ../check-installed-shebang .dmenu mkdir -p -- ~/.local/bin - ln -sf -- ~/.dotfiles/dmenu/dmenu ~/.local/bin/ + test ! -e ~/.local/bin/dmenu || test -L ~/.local/bin/dmenu + ln -sf -- ~/.dotfiles/dmenu/.dmenu ~/.local/bin/dmenu ln -sf -- ~/.dotfiles/dmenu/ipa ~/.local/bin/ ln -sf -- ~/.dotfiles/dmenu/unicode ~/.local/bin/ ln -sf -- ~/.dotfiles/dmenu/plumb ~/.local/bin/ -- cgit v1.2.3-70-g09d2