commit 2c15e07107e4aefb457fe5f6790612099cbe6bec
parent c48fdc46c93b7856c488b0b3291874c622250687
Author: Anders Damsgaard <anders@adamsgaard.dk>
Date: Tue, 5 Mar 2019 16:34:32 +0100
Decrease dmenu_themed font size
Diffstat:
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/links/bin/dmenu_themed b/links/bin/dmenu_themed
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
function get_xresources_color {
rg "\*\.$1:" ~/.Xresources | awk '{ print $2 }'
@@ -8,7 +8,7 @@ dmenuopts="-nb $(get_xresources_color background)\
-nf $(get_xresources_color foreground) \
-sb $(get_xresources_color foreground) \
-sf $(get_xresources_color background) \
- -fn PragmataPro-12"
+ -fn PragmataPro-9"
if [[ "$1" = "run" ]]; then
dmenu_run $dmenuopts