Bash - Dicas diversas

Existem algumas coisinhas irritantes que fazemos frequentemente ao trabalhar no computador. Uma delas, é digitar o nome de diretórios erradamente.

por Rubens Queiroz de Almeida

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 :-)