Navigation

Toutes les catégories

Filtrer par auteur

Voir les derniers articles

Bash – un script qui remplace une extention par une autre

[bash]# !/bin/bash for f in *.txt ; do mv « $f » « `basename « $f » .txt`.texte » ; OU mv $i ${i/.txt/.text} done ;[/bash]

[bash]# !/bin/bash
for f in *.txt ;
do
mv « $f » « `basename « $f » .txt`.texte » ;
OU
mv $i ${i/.txt/.text}
done ;[/bash]

Newsletter WebActus

Abonnez-vous pour recevoir notre sélection des meilleurs articles directement dans votre boîte mail.

Nous ne partagerons pas votre adresse e-mail.

Articles similaires

Webmarketing

Windows 10X : ce qu’il faut savoir sur le futur système d’exploitation de Microsoft

Initialement prévue pour les appareils pliables et à deux écrans, la version optimisée de Windows 10 sera dans un premier temps disponible uniquement...

Publié le par Alexandra Patard
Webmarketing

6 erreurs à éviter pour bien organiser une to-do-list

Outil indispensable à toute bonne organisation, la to-do-list vous accompagne dans vos tâches quotidiennes. Son efficacité est visible lorsque vous barrez les...

Publié le par Charlotte Chollat