Piccole soluzioni per risparmiare tempo, altro episodio.
Probabilmente già sai cos’è un comando alias in Linux.(https://it.wikipedia.org/wiki/Alias_(Unix)) Quello che puoi fare è usarlo per correggere errori di battitura.
Ad esempio, è possibile digitare erroneamente grep come gerp. Se metti un alias nel tuo .bashrc in questo modo:
alias gerp=grep
In questo modo non dovrai ridigitare di nuovo il comando.