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

determinar o ID da área de trabalho ou janela de uma determinada janela do emulador de terminal a partir de um PID

Eu quero saber em qual área de trabalho um determinado processo está sendo executado. Posso obter isso da ID da janela usando wmctrl . Também posso descobrir em qual terminal emulador processa um determinado processo que está sendo executado r...
08.08.2010 / 18:58
1
resposta

Linux Mint: O Terminal GNOME não mostra 'message from' no programa de gravação

Normalmente, um comando write (referência: write ) fará com que o receptor veja Message from yourname@yourhost on yourtty at hh:mm ... Eu não vejo isso ... Alguma idéia? No meu Windows 10, eu tenho uma máquina virtual como o Linux...
09.05.2018 / 09:01
1
resposta

xterm comando válido não funciona no terminal konsole nem gnome

isso funciona bem com o xterm xterm -e '(dialog --msgbox "thebigmessage" 0 0)' mas não com konsole nem gnome-terminal konsole -e '(dialog --msgbox "thebigmessage" 0 0)' gnome-terminal -e '(dialog --msgbox "thebigmessage" 0 0)'...
21.04.2015 / 20:41
1
resposta

wget saída de mangling escrita para stdout, funciona apenas com -q

Eu tenho um servidor HTTP mínimo escrito em python ( link ) que simplesmente responde a todas as solicitações GET com status 200 e corpo "Concluído". Se eu fizer wget "http://localhost:9001" -O - -q Done Mas se eu deixar de fora o -q:...
12.01.2015 / 15:32
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 / 11: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 / 23: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...
23.06.2014 / 00: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 / 19: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 / 19: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 / 11:00