Perguntas com a marcação «gnome-terminal»

O GNOME Terminal é um emulador de terminal para o ambiente de área de trabalho GNOME. Entre seus principais recursos estão o suporte a vários perfis, texto colorido, guias, suporte a mouse, detecção de URL, várias personalizações da interface do usuário e opções de compatibilidade.

0
Vimrc para diferentes perfis de terminal gnomo?
Quero carregar diferentes esquemas de cores do VIM para diferentes perfis do terminal gnomo. Na verdade, são duas perguntas: Como saber o nome do perfil ativo em uma sessão do terminal gnome? Como testar com variáveis ​​de ambiente em scripts vimrc?


Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.