Como eu modifico os arquivos de configuração do gnome-shell no Ubuntu 16.04?

Question

No Ubuntu GNOME 14.04 foi possível fazer muitos ajustes no gnome-shell através dos arquivos .js. Esses arquivos parecem ter sido embrulhados desde o Gnome 3.12, como explicado aqui:

Mantendo o shell do gnome acessível

Um post mais recente detalha o procedimento atualizado para extrair os arquivos .js e testar as modificações:

Como faço para extrair o shell

No entanto, essas postagens não explicam como tornar as alterações permanentes.

Eu tentei recompilar o arquivo original usando o comando glib-compile-resources resources.gresource.xml , mas consegui apenas quebrar o gnome-shell.

    

Answer 1

Infelizmente, não há nenhuma maneira intermediária de implementar permanentemente modificações feitas nos arquivos JavaScript e é necessário construir todo o pacote gnome-shell novamente, conforme explicado neste tópico:

Lista do Gnome-shell de 2016 Outubro

Ou aguarde uma extensão para simplificar a visão geral do aplicativo.

NOTA: É possível fazer alguns ajustes sem recompilar o gnome-shell, editando /usr/lib/gnome-shell/libgnome-shell.so em um editor hexadecimal. Por exemplo, você pode alterar o número de colunas e / ou linhas na visão geral do aplicativo fazendo o seguinte:

• Faça um backup de libgnome-shell.so caso algo dê errado.

• Abra o libgnome-shell.so com um editor hexadecimal (usei o Bless) e pesquise por MAX_COLUMNS = 6 como texto.

• Substitua 6 pelo valor ascii do número de colunas que você deseja. Se você quiser um valor de dois dígitos, precisará excluir o espaço entre o sinal = de igual e o original 6 , como em MAX_COLUMNS =10 .

• Você pode fazer o mesmo para o número de linhas alterando MIN_ROWS e para o tamanho do ícone alterando ICON_SIZE (pesquise const ICON_SIZE ).

• Salve e substitua libgnome-shell.so .

• Reinicie o gnome-shell (pressione Alt + F2 e, no pop-up, insira 'r' ou 'restart' e pressione enter).

Muito obrigado a VoOoLoX por sugerir este procedimento em um .