Depois de pesquisar todas as coisas relacionadas a panel
com dconf-editor
, descobri. Aqui está a linha de comando com gsettings
:
gsettings set org.cinnamon panels-enabled "['1:0:top']"
Tanto quanto eu acho que a sintaxe, o valor significa o seguinte:
- colchetes denotam uma lista, embora eu não tenha conseguido inserir mais de um valor Aspas simples
- cercam o valor
- o primeiro
1
parece ser um ID ou apenas um número do painel, pois adicionar um segundo painel coloca um2
nessa posição - o segundo dígito foi
1
antes de denotar o monitor desconectado, usando0
selecionado a tela do laptop -
top
também pode serbottom
e define onde o painel termina
Para completar, aqui está um pequeno script que eu executo quando o painel está faltando na tela única ou na tela errada quando conecto o monitor grande novamente. Funciona para mim:
#!/bin/bash
screens=$(xrandr | grep -c ' connected ')
echo "found $screens displays"
if [ "$screens" = 1 ]; then
gsettings set org.cinnamon panels-enabled "['1:0:top']"
else
gsettings set org.cinnamon panels-enabled "['1:1:top']"
fi