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.495 ]
Por: Jeremias Alves Queiroz em 07/01/2016
dirs dirs [+N | -N] [-clpv]Se o comando dirs for inserido sem argumentos ele simplesmente irá exibir a pilha de diretórios da mesma forma que o comando pushd faz ao ser utilizado.
Mais desempenho no GNU Emacs com o YASnippet
Desfragmentando partições NTFS no Linux
CentOS 5.8 - MySQL Cluster 7.1 + HAProxy
Rodando o macOS com Docker, qemu, e KVM
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)