Dahr

Dahr's blog

Modifier l'extension de fichiers par lots

Rédigé par dahr Aucun commentaire

Pour modifier l'extension de plusieurs fichiers contenus dans le même dossier et ayant la même extension:

rename 's/\.mp3$/\.lfa/' *.mp3

s/ : correspond à une substitution

\.mp3$ : recherche la chaine de caractère .mp3 à la fin du nom du fichier

\.lfa : remplace par la chaine de caractère .lfa

 

*.mp3 pour tous les fichiers mp3 contenus dans le dossier

-n : permet de tester la commande sans toucher au nom des fichiers

Arrêter un processus

Rédigé par dahr Aucun commentaire

Tuer un processus par son PID :

Après avoir identifié le PID à l'aide de la commande top :

kill PID

Tuer tous les processus portant le même nom :

killall -i nom_du_programme

L'option -i permet de demander une confirmation avant de tuer le processus.

Ajouts dans un fichier texte en ligne de commande

Rédigé par dahr Aucun commentaire

Je me suis enfin décidé à ne plus passer par nano pour rajouter des lignes manuellement dans un fichier texte.

Pour rajouter une ligne :
echo "votre_contenu" >> fichier.txt

Pour effacer le contenu du fichier et y mettre un nouveau texte:
echo "votre_contenu" > fichier.txt

Pour ajouter plusieurs lignes à la fois à un fichier :
echo -e "votre_contenu_1\nvotre_contenu_2" >> fichier.txt

La ligne de commande c'est puissant!

Fil RSS des articles de ce mot clé