Eu tenho a coisa trabalhando depois de brincar com isso hoje, mas eu não fui capaz de identificar qual era o problema quando eu tentei da última vez (eu mudei para o Linux Mint no intervalo; talvez isso tenha resolvido o problema de alguma forma.)
Este é o script de trabalho para qualquer pessoa interessada:
#!/bin/sh
# source dmenu config file if it exists
if [ -f $HOME/.dmenurc ]; then
. $HOME/.dmenurc
else
DMENU='dmenu -i'
fi
# get list of all windows, and their count
wmctrl_output=$(wmctrl -lx)
win_count=$(echo "$wmctrl_output" | wc -l)
# get rid of the hostname and the number in the 2nd column
hostname=$(uname -n)
win_list=$(echo "$wmctrl_output" | \
sed -r -e 's/[^@]'$hostname'//' | \
sed -r -e 's/ [0-9][0-9]? / /')
# select a window ($target) and extract its id ($target_id)
target=$(echo "$win_list" | $DMENU -l $win_count -p "Switch to: ")
target_id=$(echo "$target" | cut -d' ' -f1)
# switch to target window
cmd="wmctrl -i -a \"$target_id\""
eval "$cmd"
e meu ~/.dmenurc
:
DMENU_FONT='-*-*-medium-r-*-*-18-*-*-*-*-*-*-*'
DMENU="dmenu -i -fn $DMENU_FONT -nb #1E2320 -nf #DBDBDB -sb #3f3f3f -sf #ffffff"
Tudo o que você precisa é colocar o script em algum lugar em seu $ PATH, torná-lo executável e vincular uma chave a ele.