Início / ubuntu / Perguntas / 1492528
Accepted
sotirov
Asked: 2023-11-13 21:05:33 +0800 CST

Como alterar as linhas de rolagem do terminal gnome na linha de comando

  • 772

Usando Ubuntu 22.04. Quero alterar gnome-terminalas linhas de rolagem na linha de comando.

Eu sei que é possível fazer isso em Terminal -> Configurações (o botão de hambúrguer) -> Preferência -> Perfis -> Sem nome -> Rolagem , assim:

Preferências - Perfil Sem Nome

Quero poder fazer o mesmo, mas na linha de comando. Estou procurando uma solução que funcione em sincronia com a opção GUI, e não a substitua. A ideia é que se depois de algum tempo eu esquecer que configurei a opção CLI , eu deveria poder alterar seu valor em Preferência -> Perfis -> Sem nome -> Rolagem.

command-line

1 respostas

  1. Best Answer

    Isso pode ser feito com gsettings.

    Limite a rolagem a 250.000 linhas:

    gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:$(gsettings get org.gnome.Terminal.ProfilesList default | tr -d \')/ scrollback-lines 250000

    scrollback-linesO valor máximo é 2147483647e o padrão é 10000.

    Ative a rolagem ilimitada:

    gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:$(gsettings get org.gnome.Terminal.ProfilesList default | tr -d \')/ scrollback-unlimited true

    Como funciona:

    gsettings oferece uma interface de linha de comando simples para GSettings. Ele permite obter, definir ou monitorar alterações em uma chave individual.

    Os argumentos SCHEMA e KEY são necessários para a maioria dos comandos especificarem o ID do esquema e o nome da chave na qual operar. O ID do esquema pode opcionalmente ter um sufixo :PATH. A especificação do caminho só será necessária se o esquema não tiver um caminho fixo.

    Ao definir uma chave, você também precisa especificar um VALOR. O formato do valor é o de um GVariant serializado, portanto, por exemplo, uma string deve incluir aspas explícitas: "'foo'". Este formato também é usado ao imprimir valores.

    Estamos usando org.gnome.Terminal.Legacy.Profilecomo SCHEMA.

    O que :PATHprecisamos é /org/gnome/terminal/legacy/profiles:/:[target-profile-id]/onde [target-profile-id]está o id do perfil que estamos editando. O comando gsettings get org.gnome.Terminal.ProfilesList defaultobtém o id do perfil padrão e tr -d \'remove o 'da resposta.

    Para alterar as linhas de rolagem do terminal, is KEYe scrollback-linesdefinimos como VALUE, 250000que é o número de linhas que queremos poder rolar para trás. Dependendo se queremos ativar ou desativar o scrollback ilimitado, usamos scrollback-unlimitedas KEYwith trueou falseas VALUE.

    Relacionado:

    Se você está preocupado com o uso de recursos, verifique esta postagem: Linhas de rolagem do terminal Gnome?

    • 2

relate perguntas