De acordo com as Leis 12.965/2014 e 13.709/2018, que regulam o uso da Internet e o tratamento de dados pessoais no Brasil, ao me inscrever na newsletter do portal DICAS-L, autorizo o envio de notificações por e-mail ou outros meios e declaro estar ciente e concordar com seus Termos de Uso e Política de Privacidade.

Bash - dicas diversas

Colaboração: Rubens Queiroz de Almeida

Data de Publicação: 15 de julho de 2010

Existem algumas coisinhas irritantes que fazemos frequentemente ao trabalhar no computador. Uma delas, é digitar o nome de diretórios erradamente. Eu costumo, com uma frequencia maior do que gostaria, digitar o nome de meu diretório pessoal, /home/queiroz, como /home/querioz.

A boa notícia é que, em um sistema como o GNU/Linux, livre e aberto, e usado por um grande número de pessoas, estes pequenos aborrecimentos incomodam muita gente além de você. E alguns dentre eles sabem desenvolver soluções engenhosas para estes pequenos transtornos do dia a dia :-)

Para resolver este pequeno probleminha, basta acrescentar, ao seu arquivo .bashrc, a seguinte linha:

  shopt -s cdspell

Desta forma, quando você cometer novamente o seu pequeno errinho, o sistema irá corrigí-lo automaticamente:

  cd /home/querioz
  /home/queiroz

Sem dúvida, este sistema está se tornando cada vez mais a prova de idiotas :-)

Adicionar comentário

* Campos obrigatórios
5000
Powered by Commentics

Comentários

Nenhum comentário ainda. Seja o primeiro!


Veja a relação completa dos artigos de Rubens Queiroz de Almeida