Estou procurando uma resposta para isso e não encontrei nada que me faça pensar que não é possível, mas ... É possível salvar o buffer de rolagem atual do Gnome Terminal em um arquivo? Eu sei que posso fazer algo como command > output.txtredirecionar toda a saída para um arquivo ou command |...
Eu tenho um comando de terminal que corro de um iniciador de aplicativos. Isso funciona muito bem, mas às vezes o comando falha, então eu gostaria que o terminal permanecesse aberto para que eu pudesse ver os resultados. Como posso fazer
No Ubuntu 13.04, muitas vezes tenho várias abas abertas no gnome-terminal. O problema é que, embora eu possa definir o título de cada guia, é muito difícil dizer qual guia está ativa - a distinção de cor e renderização entre a guia ativa e a guia inativa é tão sutil que é preciso estudar a barra de...
Estou tentando integrar o RVM com o gnome-terminal . Por padrão, o gnome-terminal não inicia o bash como um shell de login. Ativei run command as a login shellconforme sugerido nesta resposta sobre o mesmo tópico de configuração do RVM, mas quando faço isso, o .bashrcarquivo não é lido. Por...
Quero copiar e colar um arquivo. O nome do arquivo é mkoctfile.m. O caminho deste arquivo é: /usr/share/octave/3.2.4/m/miscellaneous/mkoctfile.m Quero colá-lo no seguinte caminho /usr/bin/mkoctfile-3.2.4 Eu criei o diretório usando os seguintes comandos: sudo su mkdir -p...
O terminal e o terminador gnome (que estou usando no meu laptop hoje em dia) podem ser personalizados para ficar muito bonitos. Usando a tela cheia e mantendo a desordem da área de trabalho no mínimo, é possível obter uma área de bom tamanho para trabalhar, mesmo no meu pequeno EeePC. No entanto,...
Eu uso htopem um terminal, mas não consigo fechá-lo F10. F10parece apenas abrir a caixa de diálogo Arquivo de um programa . Existe uma maneira de desativá-lo para que eu possa fechar
Como posso minimizar a janela Terminal usando um comando? Por exemplo: Eu uso o clearcomando para limpar a saída do terminal. Qual comando devo usar para minimizar a janela do
Eu tenho o Ubuntu na minha máquina e estou executando um gerenciador de janelas incrível em cima dele. Como verifico qual terminal estou executando? Existe um comando para
O htop F10é usado para sair, mas entra em conflito com a função Terminal para mostrar o menu. Como podemos desvincular F10no
Por anos, não, décadas (literalmente - duas!), Tenho campainha visual ativada em meus terminais sempre que possível, seja um humilde XTerm ou Gnome Terminal. Recentemente, depois que mudei do Unity para o Gnome 3, toquei uma campainha (através de alto-falantes estéreo) no Gnome Terminal. Minhas...
É possível alterar o espaçamento entre linhas no Terminal ou existe algum outro aplicativo que permita isso? Estou saindo do Mac, e seu aplicativo de terminal tem esse recurso que permite alterar o espaçamento entre linhas, independentemente do tamanho da fonte. Por exemplo, aqui está o Mônaco no...
Eu poderia (1) preparar um arquivo com comandos digitados separados pela linha final, (2) torná-lo executável, (3) executá-lo a partir de um gerenciador de sistema de arquivos ou do terminal. Mas isso é ridículo para conjuntos de comandos não repetíveis e sempre. Posso digitar esses comandos no...
Existe uma maneira de aplicar automaticamente um perfil de terminal quando conectado a uma máquina remota via SSH? Gostaria de pistas visuais mais óbvias de que estou conectado a uma máquina remota do que o usuário / host exibido em cada linha do terminal. Passo a maior parte do dia conectado a...
Em uma instalação limpa do Ubuntu 12.10, o terminal-gnome padrão está relatando que $ TERM é xterm, onde deveria estar realmente relatando xterm-256color. Qual é a melhor maneira de mudar isso? Estou evitando colocar isso no meu .bashrc, pois isso está apenas causando
Às vezes, talvez seja necessário acessar vários arquivos de log para solucionar problemas, mas não quero abri-los em terminais diferentes. O que eu quero é abri-los no mesmo terminal. Existe alguma maneira de visualizar parte final dos vários arquivos de log em uma mesma janela do...
Ao usar a alternância de tarefas no modo gráfico padrão do Ubuntu 12.04, se houver várias janelas do mesmo tipo, por exemplo. Em várias janelas do Terminal, você pode vê-las todas juntas e selecionar qual delas deseja. Meu problema é que a ordem dessas janelas é alterada constantemente. Segue a...
Preciso de um atalho rápido para alterar o tamanho da fonte do terminal. Eu uso gnome-terminal. Eu tentei com Ctrl+ +e Ctrl+ -mas o tamanho não é alterado. Existe outro atalho? Posso adicionar um atalho como
Criei um novo perfil para o gnome-terminal e posso alternar entre o perfil "Implícito" e o novo perfil criado, como você pode ver na imagem abaixo: Agora, pergunto-me como posso alternar entre perfis usando uma linha de comando / script ou talvez usando um atalho para isso. Nota: Soluções...
Estou editando vários arquivos localizados na mesma pasta, em várias guias, em um único terminal. pwd(diretório em que estou trabalhando atualmente) é exibido na parte superior do cabeçalho do terminal, mas não o nome do arquivo que estou editando. Fica confuso ao trabalhar com vários arquivos no...