Могу ли я настроить рабочие области xfce по-разному?
В конце я понял, что на обеих машинах установлены разные версии gcc (g ++). Я строил с 4.8 и работал там, где было доступно только 4.7. Установка 4.8 на целевом компьютере (как описано здесь) решила проблему.
Может быть более легкое решение, которое не требует установки полного компилятора, а просто требуемой библиотеки.
1 ответ
Некоторые другие среды рабочего стола (например, KDE) предлагают это изначально, но это частично поддерживается в XFCE.
Что работает изначально в XFCE:
Вы можете установить разные обои на каждой рабочей области это полностью поддерживается и может быть легко сконфигурировано с помощью GUI рабочего пространства. Вы можете воздействовать на панель на определенную рабочую область, но AFAIK не имеет опции GUI, позволяющей ее настроить, но приведенный ниже сценарий возьмет все под свой контроль.Решение, которое я принял:
Создайте новую панель для каждой рабочей области. Вы также можете создавать дополнительные глобальные панели, которые будут отображаться на всех рабочих пространствах (некоторые элементы, такие как панель уведомлений, могут быть добавлены только один раз, поэтому единственный способ увидеть его на каждой рабочей области - добавить его на глобальную панель). Настройте и запустите сценарий ниже, чтобы распределить каждую локальную панель в свое рабочее пространство. Настройте XFCE для запуска скрипта при каждом запуске. Настройте панели так, как вы.В отличие от другого ответа, этот скрипт не будет работать как бесконечный цикл, получающий статус каждую секунду. Он запускается только один раз во время открытия сессии, чтобы связать каждую локальную панель с их собственным рабочим пространством, после чего все остальное обрабатывается менеджером окон.
#! /bin/sh
# First panel to move
start=2
# Number of panels to move
count=$( wmctrl -d | wc -l )
desk=0
for winid in $( wmctrl -l | grep 'dom0 xfce4-panel$' \
| awk "NR==$start,NR==$(( start + count - 1 )) { print \$1; }" )
do
wmctrl -i -r $winid -b remove,sticky
wmctrl -i -r $winid -t $desk
desk=$(( desk + 1 ))
done