Кто-нибудь знает хороший способ изменить размер любого окна до, например, 640x480?
Разум, конечно, screencasting.
В окнах я использовал ZoneSize от donationcoder. (Btw: для Firefox это просто, просто используйте панель инструментов веб-разработчика.)
Используйте команду wmctrl:
Чтобы перечислить окна:
$ wmctrl -l
0x00c00003 -1 rgamble-desktop Bottom Expanded Edge Panel
0x00c00031 -1 rgamble-desktop Top Expanded Edge Panel
0x00e00022 -1 rgamble-desktop Desktop
0x0260007c 0 rgamble-desktop Google - Mozilla Firefox
Чтобы изменить размер окна на основе его названия:
wmctrl -r Firefox -e 0,0,0,640,480
Аргументы параметра resize gravity,X,Y,width,height, поэтому это поместит окно в верхнем левом углу экрана и изменит его размер до 640X480.