Académique Documents
Professionnel Documents
Culture Documents
#!/bin/bash
old_ext="$1"
new_ext="$2"
file_pattern="$3"
old_ext="$1"
ew_ext="$2"
file_pattern="$3"
new_file="${file%.*}.$new_ext"
mv "$file" "$new_file"
echo "Renamed $file to $new_file"
fi
fi
done
iii.
#!/bin/bash
iv.
#!/bin/bash
done
i.
for fichier in "${@:3}"; do
nomfichier="${fichier%.*}" # Nom du fichier sans extension
nouveau_nom="${nomfichier}$nouvext" # Nouveau nom du fichier avec la
nouvelle extension