Você precisa instalar o pacote wmctrl
. Então, adicione isso ao seu arquivo ~ / .bashrc:
HORIZONTAL=600
VERTICAL=400
wmctrl -r ":ACTIVE:" -e 0,-1,-1,${HORIZONTAL},${VERTICAL}
Ele redimensionará sua janela ativa (deve ser o terminal) para o tamanho especificado pelas variáveis ${HORIZONTAL}
e ${VERTICAL}
. Note que estes são medidos em pixels. Você pode definir a geometria do seu terminal para o que você deseja e usar o pacote screenruler
para medir as dimensões em pixels.
Espero que isso ajude:)
EDIT: Na verdade, você pode rodar isso para mostrar o tamanho de todos os gnome-terminal
que estão abertos:
wmctrl -l -x -G | grep gnome-terminal.Gnome-terminal | awk '{ print "Horizontal: "" pixels; Vertical: "" pixels" }'