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

Mojo : l’application pour créer simplement des stories Instagram créatives et impactantes

Les outils natifs d’Instagram manquent de fonctionnalités pour un contenu créatif et impactant. Il existe heureusement des alternatives comme Mojo, une app qui permet...

Publié le par Appoline Reisacher
Webmarketing

SEO : le tableau périodique des éléments qui impactent le référencement en 2019

Search Engine Land publie la nouvelle version 2019 de son tableau périodique du SEO. The post SEO : le tableau périodique des éléments qui...

Publié le par Cyrielle Maurice