Extensions im Terminal umbenennen
Manchmal steht man vor scheinbaren Banalitäten und weiß nicht, wie man weiter kommt. Mir ging es gerade eben so: Ich wollte einige Bilder in ein Onlinealbum hochladen. Die Dateinamen waren noch von der Digitalkamera vorgenommen, weswegen die Dateiendung jeweils *.JPG lautete. Leider konnte das soziale Netzwerk mit dieser Art von …
