Se usate BASH questo metodo vi permetterà di risparmiare fatica digitando sulla tastiera.
Per copiare un file cambianto estensione è possibile eseguire il seguente comando:
cp filename.{ext, newext}
Lo stesso metodo si può utilizzare per rinominare un file:
mv filename.{ext,newext}