Вот небольшой скрипт, который действительно устанавливает размер окна независимо от профиля gnome-terminal, который вы используете в настоящее время. Это работает во всех окнах, принадлежащих gnome-terminal
. Чтобы заставить его работать, вам нужно две вещи: 1) убедитесь, что у вас установлен wmctrl, и 2) запустите этот скрипт в качестве одного из приложений для запуска.
Обратите внимание, что строка с wmctrl -i -r $WMCTRL_ID -e 0,0,0,650,650 устанавливает размер и положение в зависимости от силы тяжести, x-позиции, y-позиции, ширины, формата высоты
#!/bin/bash
# Author: Serg Kolo
# date: Sat, Sept 19,2015
# Purpose: a script to permanently set
# terminal window, size
# Written for: http://askubuntu.com/q/64652/295286
APP_CLASS="gnome-terminal.Gnome-terminal"
while [ 1 ]; do
WIN_ID=$(printf %x $(xdotool getactivewindow))
WM_CLASS=$(wmctrl -lx | awk -v search=$WIN_ID '{ if($1~search) print $3 }')
WMCTRL_ID=$( wmctrl -lx | awk -v search2=$WIN_ID '$0~search2 {print $1}' )
if [ $WM_CLASS = $APP_CLASS ]; then
wmctrl -i -r $WMCTRL_ID -e 0,0,0,650,650
fi
sleep 0.25
done