chcase ?
Su "Linux una ricetta al giorno" ho letto del comando $ chcase utile ad
esempio per cambiare estensione ad un gruppo di file. Nella mia bash pero'
non funziona e da dselect non riesco a trovarlo...
E' obsoleto? c'e' un comando alternativo? La sintassi d'esempio e':
$ chcase -x 's/htm/html' '*.html'
rinomina tutti i file .htm in .html
Thx
--
ANDREA GANDUGLIA
http://www.frequenze.it
Reply to: