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

Twitter facilite les threads avec une nouvelle fonctionnalité

Twitter permet d’ajouter facilement un nouveau tweet à un ancien message déjà publié sur le réseau social pour créer plus...

Publié le par Alexandra Patard
Webmarketing

Métiers de l’esport : les clés pour réussir dans un secteur en forte croissance

Découvrez les témoignages de Sacha, Baptiste et Kenza, trois anciens élèves de la Paris Gaming School, une école qui forme aux métiers de l’esport. Ils nous partagent leur...

Publié le par Alexandra Patard