Pilha de Diretórios (comandos pushd, popd e dirs)
A Pilha de Diretórios é um recurso do GNU Bash voltado para facilitar a navegação e manipulação de diretórios. É um recurso onde o usuário pode criar "atalhos" dentro de uma pequena base de diretórios que podem ser facilmente acessados ou referenciados dentro de uma seção do shell. Devido a grande popularidade do GNU Bash vale a pena conhecer esse recurso.
[ Hits: 22.498 ]
Por: Jeremias Alves Queiroz em 07/01/2016
Mais desempenho no GNU Emacs com o YASnippet
Como um monte de letras de um código fonte transforma-se em voltagens?
Introdução ao gEDA - Suíte de eletrônica
O usuário: a escolha do novo amigo virtual
Mitigação - O que é e quando é "seguro" desabilitar
Atualizar Debian Online de uma Versão para outra
A arte e a prática da Disciplina a longo prazo
Topgrade - Atualize seu sistema Linux inteiro com um único comando
Site com diversos emojis para seus códigos
Um modo leve de ouvir/ver áudio/vídeo da internet em máquinas pererecas
Redirecionar site para o link secundário (0)
Criar Regra para adicionar computador por ativos (2)
[aprendendo algo novo] Diferença entre ser eficiente, eficaz e efetivo... (8)