blob: 7d9dccf80875057580fcdbecc36490d14c5d11f3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
#!/bin/bash
# Wrapper around dmenu for some problems with the loading of the font.
get_xresources() {
arr=( $(xrdb -q | grep $1 | head -1) )
echo -n "${arr[@]:1}"
}
dmenu_run -b -p $(hostname) -nb $(get_xresources background) -sb $(get_xresources color4) -sf $(get_xresources foreground) -fn "$(get_xresources face | sed 's/ /\\ /g')"
|
