Lundi - Traitement des Extensions
15/03/2004
Renommer un groupe de fichiers en une seule commande.
Cela *ne* marchera *pas* :
$ mv *.html *.php
usage: mv [-fi] source target
mv [-fi] source ... directory
Le script suivant, appelé ‘ext’ pour ‘basé sur l’extension’, vous permettra d’y arriver :
$ cat ext
#!/bin/bash
shopt -s…
Chargement
Commentaires récents