Substituindo e economizando tempo com comandos com erros ortográficos

Quantas vezes cometemos um erro ao digitar algum comando no terminal? … Não sei quanto a você, mas tenho o péssimo hábito de errar várias vezes, seja porque digito no terminal e ao mesmo tempo estou atendendo a pessoa ao meu lado, ou porque é simplesmente um longa linha que estou errado.

O problema com tudo isso é redigitar a linha ou, em qualquer caso, pressionar o arriba no teclado, vá até o erro que cometemos, corrija-o e pressione [Enter], de qualquer forma pode ser um pouco incômodo 

Bom, agora vou te ensinar como corrigir qualquer erro que você cometeu ao inserir o comando anterior, mas sem nem precisar digitar ou exibir aquele comando anterior no terminal novamente 

Parece mágica, sim... consertar um comando com erro ortográfico sem sequer olhar para ele ou digitá-lo novamente? … bem, sim 

Por exemplo, eu mostro o truque sem muitas complicações. Para acessar a pasta / var / log / em um terminal, seria: cd / var / log ou não? bem, vamos abrir um terminal e digitar incorretamente essa linha, digamos:

cd /var/lgo/

Como vocês podem ver, mudei log para lgo, o que significa que escrevi uma letra no lugar da outra, ou seja, um erro muito comum 

Isso obviamente não funcionará, ele dirá que o diretório / var / lgo / não existe, o que é verdade. Agora, no mesmo terminal, escreva:

^lgo^log^

E pressione [Entrar], você verá como eles acessaram magicamente o diretório correto LOL !!

O que isto significa? 0_oU ...

Simples, colocamos primeiro qual é o erro (lgo) e, em seguida, colocamos por que queremos alterá-lo (log), toda esta linha começa com um caractere ^ e termina igual com o mesmo personagem, por sua vez esse personagem é quem divide o erro do que é correto colocar.

Simplificando, eles colocam um ^, depois colocam onde erraram, colocam outro ^ que será a divisão, depois colocam o que querem que esteja correto e terminam com outro ^. simples, certo? 

Eu sei que alguns ainda vão preferir apertar [Up] e corrigir o erro na linha de comando, outros podem usar essa dica, a verdade é que com certeza todos vão achar interessante... e se não, bem, pelo menos pelo menos eles aprenderam um novo truque 

lembranças


Adicionar como fonte preferencial no Google