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
1parece ser um ID ou apenas um número do painel, pois adicionar um segundo painel coloca um2nessa posição - o segundo dígito foi
1antes de denotar o monitor desconectado, usando0selecionado a tela do laptop -
toptambém pode serbottome 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