Установка Mono, если вы находитесь за прокси-сервером или брандмауэром Когда:
Порты заблокированы (keyserver.ubuntu.com:11371) Если вы не можете добавить ключ подписи wget "http://keyserver.ubuntu.com/pks/lookup?op=get&search=0x3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF" -O out && sudo apt-key add out && rm out
echo "deb http://download.mono-project.com/repo/debian wheezy main" | sudo tee /etc/apt/sources.list.d/mono-xamarin.list
sudo apt-get update
Я предлагаю два решения
Установите пакет wmctrl, затем вы можете изменить размер вашего окна с помощью
wmctrl -r string -e 0,left,up,width,height
, где string является подстрокой заголовка окна, (left,up) являются желаемыми координатами экрана в верхнем левом углу окна, а (width,height) являются желаемыми размерами окна.
Для более точного выбора окна запустите wmctrl -l, который предоставит вам список записей, содержащих идентификатор окна, номер экрана и заголовок окна. Затем вы можете изменить размер конкретного окна по идентификатору с помощью
wmctrl -i -r ID -e 0,left,up,width,hight
. Более подробную информацию см. В справочной странице wmctrl.
Установите пакет devilspie , затем создайте папку ~/.devilspie и файл my-name.ds в этой папке с содержимым:
(if (is (window_name) "My Window") (geometry "widthxheight+left+up"))
, затем выполните devilspie, чтобы изменить размер вашего окна.