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

Guide : la taille des posts sur les réseaux sociaux en 2018 (limites et conseils)

Pour certains réseaux sociaux comme Twitter, la limite de caractères d’un post est évidente et connue de tous – 280 caractères. Pour...

Publié le par Cyrielle Maurice
Webmarketing

Twitter : ajoutez des réactions à vos messages privés

Twitter permet de choisir 7 émojis pour réagir à un message direct. The post Twitter  : ajoutez des réactions à vos messages...

Publié le par Alexandra Patard