#!/bin/bash # Script per rinominare tutti i file con estensioni jpg/jpeg/JPG/JPEG # presenti nel direttorio dove viene eseguito lo stesso. I file # vengono rinominati nella forma -xxxx.jpg, dove il # deve essere passato come argomento da riga di comando e # xxxx e` un numero che fa da contatore. # # UTILIZZO: my_rinomina_jpg # # Autore: Marco Sansottera # Data: 03.11.2011 # Versione: 0.1 if [ $# -ne 1 ] ; then echo "$0: Errore, mi serve un argomento come \"nome base\" da utilizzare!" exit 1 fi for file in *.jpeg; do [ -f "$file" ] || continue; mv "$file" `echo "$file" | sed s/jpeg/jpg/g`; done for file in *.JPG; do [ -f "$file" ] || continue; mv "$file" `echo "$file" | sed s/JPG/jpg/g`; done for file in *.JPEG; do [ -f "$file" ] || continue; mv "$file" `echo "$file" | sed s/JPEG/jpg/g`; done for file in *.jpg; do [ -f "$file" ] || continue; newfile=`echo "$file" | tr [:upper:] [:lower:]`; if [ "$newfile" != "$file" ]; then mv "$file" "$newfile"; fi done i=1; for file in *.jpg; do [ -f "$file" ] || continue; output="$1"-`printf "%04d\n" $i`.jpg; mv "$file" "$output"; i=$((i+1)); done