Bem, um pouco sujo, isso pode ser feito usando xdotool
.
Adicione isso ao seu script:
xdotool windowfocus 'xdotool search --name "/* - GVIM"' && xdotool windowraise 'xdotool search --name "/* - GVIM"'
Pesquise uma janela chamada "[Something] - GVIM" e aumente-a. Talvez você possa selecionar a janela com um título mais específico usando nome de arquivo e regex, por exemplo.
xdotool windowfocus 'xdotool search --name "^$filename\s\+\s\(~\)\s-\sGVIM"' && xdotool windowraise 'xdotool search --name "^$filename\s\+\s\(~\)\s-\sGVIM"'
Mas, xdotool
deve ser baixado primeiro de apt-get
. Digite sudo apt-get install xdotool
no terminal.