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

Google Marketing Live : nouveautés Google Ads, shopping en 3D, publicités YouTube Shorts…

À l’occasion de sa conférence Google Marketing Live, la firme américaine dévoile de nombreuses nouveautés pour les annonceurs.

Publié le par Estelle Raffin
Webmarketing

Nouveautés Trello : calendrier unique, vues enregistrées et cartes de bord

L’outil de gestion de projet présente ses nouveautés concernant son calendrier, ses vues enregistrées et ses cartes de bord.

Publié le par Claudia Le Pape