В настоящее время я использую инструменты (cssh), чтобы открывать много разных окон xterm на моем мониторе одновременно. Но некоторые из них рисуются друг на друге, хотя есть свободное место, чтобы разделить их.
(окна не декорированы с помощью devilspie2)
Как заставить mutter (оболочку GNOME?) сделать между ними некоторое пространство, чтобы они не появлялись друг над другом?
решение1
Похоже, что у cssh есть некоторые параметры, которые можно задать для этой цели. Вы можете добавить следующие строки в $HOME/.clusterssh/config, что должно исправить перекрытие:
# reserve space for the gnome-shell top bar
screen_reserve_top = <height of top bar>
# use all the space at the bottom
screen_reserve_bottom = 0
Окна, скорее всего, перекрываются, поскольку cssh рассчитывает позиции, исходя из того, что первая строка находится в самом верху экрана, но gnome-shell на самом деле размещает первую строку окон внизу, поэтому они не перекрываются верхней панелью.