ext_case: mon script perso que je vous propose...

[Jean-Marc Mongrelet <jm-mongrelet.nospam@ifrance.com>]

Bonjour,

Je tenais à vous faire pas d'un petit script bash que j'ai réalisé:

$ cat ext_case
#! /bin/bash

i=0
z=""
t=$1
majus="$(echo $t | tr [a-z] [A-Z])"
minus="$(echo $t | tr [A-Z] [a-z])"
until [ $i -eq ${#t} ]; do
        z=$z"[$(echo ${minus:$i:1})$(echo ${majus:$i:1})]"
        i=$((i+1))
done
# echo $z

shift
for i in "$@"; do
        fileext="${i:${#i}-${#t}:${#t}}"
        if [ "$fileext" != "$t" ] && [ "$(echo $fileext | tr [A-Z] 
[a-z])" = "$minus" ]; then
        # if [ -a "${i%$z}"$z ] && ! [ -a "${i%$z}$t" ]; then
                echo "$i"
                mv "$i" "${i%$z}$t"
        fi
done

Ce petit script que certain pourront peut-être optimiser mieux que moi, 
sert à modifier la case (majuscule/minuscule) des extensions de fichiers.

Pour l'utiliser:
ext_case .ext fichier [fichier] [fichier]...

ou .ext est l'extension dans la case souhaité
ou fichier est le fichier dont on veut modifier la case de l'extension.
Pour fichier, les caractères génériques (*,?) sont accepté.

ex:
$ ext_case .txt document.Txt
donne: document.txt
$ ext_case .dOc *
tous les fichiers *.doc *.DOC *.Doc... seront renommé en .dOc

Voila,

JM

--------------------------------------------------------------------
Les listes de diffusion occultes: <URL:http://www.CULTe.org/listes/>