diff options
| author | Mattias Andrée <maandree@kth.se> | 2023-11-23 17:57:29 +0100 |
|---|---|---|
| committer | Mattias Andrée <maandree@kth.se> | 2023-11-23 17:57:29 +0100 |
| commit | e540b7fed768a77facc2993dd7307b30b49c2546 (patch) | |
| tree | 32f5fc1877d0d23d9f9349bb99e3dd0ec992100c /dmenu/dmenu.gpp | |
| parent | Fix losetup usage error in {signal,element,wire}-desktop/umount-* (diff) | |
| download | dotfiles-e540b7fed768a77facc2993dd7307b30b49c2546.tar.gz dotfiles-e540b7fed768a77facc2993dd7307b30b49c2546.tar.bz2 dotfiles-e540b7fed768a77facc2993dd7307b30b49c2546.tar.xz | |
Update dmenu to use different fonts (primary size due to different DPI, distance, and screen size) on different computers
Signed-off-by: Mattias Andrée <maandree@kth.se>
Diffstat (limited to 'dmenu/dmenu.gpp')
| -rwxr-xr-x | dmenu/dmenu.gpp | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/dmenu/dmenu.gpp b/dmenu/dmenu.gpp new file mode 100755 index 0000000..11777cb --- /dev/null +++ b/dmenu/dmenu.gpp @@ -0,0 +1,11 @@ +#!/bin/dash +%%<fontname='Terminus (TTF)' ; fontsize=8 +if test -f ../.private/dmenu/font@"$(hostname)"; then + . ../.private/dmenu/font@"$(hostname)" +fi +%%> +if test -x /usr/local/bin/dmenu; then + exec /usr/local/bin/dmenu -fn '%%{fontname}-%%{fontsize}' "$@" +else + exec /usr/bin/dmenu -fn '%%{fontname}-%%{fontsize}' "$@" +fi |