Perguntas sobre 'gnome-terminal'

Tags
O Terminal do GNOME (frequentemente intitulado apenas "Terminal") é o emulador de terminal padrão incluído no Ubuntu.
1
resposta

Gerenciador de sessões de terminal / bash

Existe um gerenciador de sessão para sessões bash de várias guias, semelhante ao modo como o Google Chrome gerencia sessões de navegação na Web? O que estou procurando é a capacidade de armazenar e restaurar as guias do shell (atualmente estou u...
11.01.2015 / 10:28
1
resposta

Programaticamente iniciando 6 servidores e manipulando o Terminal Gnome

Eu gostaria de fazer um script (bash) que será programaticamente inicie o gnome-termal com 6 guias cada uma com seu próprio título inicie um comando diferente em cada guia atrasar o início do servidor 5 até que o servidor 4 esteja em exe...
23.12.2014 / 22:48
2
respostas

Fontes de renderização mais rápidas no gnome-terminal

Então, eu estava lendo um artigo no usesthis.com e ele afirma "... eu uso a fonte Terminus porque é uma fonte de bitmap que processa rápida e limpa." Isso é verdade? Qual fonte processa o mais rápido no terminal gnome? As fontes de bitmap são...
22.06.2014 / 22:37
1
resposta

Como permitir que o gnome-terminal use fontes específicas para exibir pontuações em suas formas de largura total? (· '' “”)

Gostaria de usar a fonte SimSun (宋体) para exibir interpunct / middle dot · , aspas simples (curvas) ‘’ , aspas duplas (curvas) “” caracteres em suas formulários de largura total , porque é fácil distingui-los de . (ponto) ' (...
28.03.2013 / 18:29
1
resposta

Como remover caracteres indesejados ao executar o comando no terminal

Estou usando o zsh com oh-my-zsh como shell padrão. Quando executo um comando em guake / gnome-terminal / konsole, uma string com formato (special-char | nome-do-comando |%) aparece como a primeira linha de saída no console. Eu lembro que eu cor...
07.02.2013 / 18:01
1
resposta

Bad chars no gnome-terminal vim

Estou usando o Fedora 17 com o gnome-shell. Eu instalei fontes do Ubuntu e estou executando o vim dentro do terminal do gnome. Cite com frequência, recebo o seguinte problema: Qual poderia ser o problema? O problema acontece durante os...
04.06.2012 / 09:00
1
resposta

Windows no GNOME preso no canto superior esquerdo da área de trabalho

Estou usando o GNOME 2.16 na Red Hat. Eu estava fazendo algum trabalho no Terminal e, por acidente, inseri um comando que fazia com que as janelas de todos os programas ficassem presas no canto superior esquerdo da área de trabalho, sem uma mane...
27.05.2012 / 21:39
2
respostas

como coloco um ícone do gnome-terminal na área de trabalho?

Como faço para colocar um ícone do terminal gnome na área de trabalho? Eu já tenho um no "painel" superior (ou seja: a faixa na parte superior), mas preciso de vários na área de trabalho (para que eu possa personalizar com a opção --working-dire...
16.02.2011 / 11:06
1
resposta

Copie conexões de rede sem fio para vários usuários - Ubuntu

Eu tenho uma caixa remota Ubuntu executando 10.04 que se conecta à internet usando um dongle sem fio 3G (Huawei E1762). Esta conexão está ativa e em execução para um dos usuários na máquina, no entanto, os outros usuários não têm acesso à conexã...
13.12.2010 / 22:03
1
resposta

Como aumentar o espaçamento entre linhas no Terminal GNOME no CentOS 7 para aumentar a legibilidade

Estou usando o CentOS 7 no Virtualbox no mac e fico surpreso ao ver que não há nenhuma opção de aumentar o espaçamento entre linhas no Terminal do GNOME para aumentar a legibilidade. Eu posso fazê-lo facilmente no mac, mas não posso fazê-lo no C...
21.05.2018 / 09:38