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

1er avril : retour sur les 10 meilleures blagues de Google

Pas de poisson d’avril pour le moteur de recherche américain en 2020, mais une sélection rétro des meilleures blagues de la décennie. ...

Publié le par Alexandra Patard
Webmarketing

Nouveau coup dur pour Huawei, privé d’ARM pour la conception de ses micro-processeurs

Après Google, c’est au tour d’ARM de révoquer la licence de Huawei. La firme chinoise aura beaucoup de mal à se relever de ce nouveau coup dur....

Publié le par Thomas Coeffe