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

Les avantages et inconvénients de la rédaction IA

Le premier avantage de la rédaction IA est indéniablement sa capacité à assister et optimiser les méthodes d’écriture traditionnelles, grâce à une rapidité et une disponibilité...

Publié le par Celine
Webmarketing

Social media : quand publier sur les réseaux sociaux en 2019 ?

Les réseaux sociaux sont en constante évolution, et le comportement des utilisateurs change avec eux. Un fait qui ne change pas  : la concurrence...

Publié le par Celine Albarracin