(Courriels de diversion: <peritoines@semences-outrage.com> <entrerai@collective-ecrieront.com> <couettes@canulars-comateuses.com> <ourlet@yachts-compositeurs.com> <murerions@deperiraient-verrai.com> <bourgeonnerait@allumage-gage.com> <bosseles@etirerais-edite.com> <aggraverai@eventrer-bonifier.com> <entêtiez@revalut-fondes.com> <protestataire@voyant-famee.com> )
Ce petit script que certain pourront peut-être optimiser mieux que moi, sert à modifier la case (majuscule/minuscule) des extensions de fichiers.
une petite requete (-;
exemple d'utilisation :
$ ls toto.MP3 tata.Doc
$ ext_case -min *
$ ls toto.mp3 tata.doc
(et puis c'est la casse, pas la case (((-: )
gUI
-- Pour la santé de votre ordinateur, préférez les logiciels libres. Lire son mail : http://www.mozilla-europe.org/fr/products/thunderbird/ Browser le web : http://www.mozilla-europe.org/fr/products/firefox/ Suite bureautique : http://fr.openoffice.org/
-------------------------------------------------------------------- Les listes de diffusion occultes: <URL:http://www.CULTe.org/listes/>