Se con la shell
bash capita di aver creato un file con il nome sbagliato si ricorre al comando
mv
mv nome-lunghissimo-e-difficile-da-scrivere-corrotto nome-lunghissimo-e-difficile-da-scrivere-corretto
Non a caso ho scelto questi due nomi in cui la differenza consiste di una sola lettera in quanto gli errori di digitazione d solito sono brevi, la potenza della bash permette di utilizzare un metodo alternativo:
mv nome-lunghissimo-e-difficile-da-scrivere-corr{o,e}tto
In questo modo al comando
mv vengono passati due nomi, il primo con la lettera
o al posto del pezzo con le graffe, il secondo con la
e. Non sempre puo' risultare comodo ma in alcun casi l'ho trovato impagabile... essendo poi open source... effettivamente lo e'.
Nessun commento:
Posta un commento