2694 Tipps & Tricks
Kategorie: Linux / Datei Tipp im neuen Fenster anzeigen
Dateiendungen umbenennen (610 x gelesen)

Alle Dateien mit der Endung .jpeg ins home-Verzeichnis kopieren und die Endung in jpg umbenennen: 

for i in $(ls *.jpeg) 
 do 
  cp $i /home/${i%.*}.jpg 
 done 
Es wird keine Verantwortung übernommen. Die Benutzung erfolgt auf eigene Gefahr.
alle Tipps & Tricks
Validator XHTML + CSS ® 2012   GADDO.DE   BAR-GAMES.DE