Tu peux ecrire un petit scrip bash pour renommer des extensions
#!/bin/bash
for fichier in *.$1
do
mv $fichier ${fichier%$1}$2
done
{fichier%$1} va retirer "extension1" du fichier, et $2 lui ajoute "extension2"
Tu appelles ton script comme ça :
sh script extension1 extension2
Pour connaitre le pid d'un processus en connaissant son nom, tu peux utiliser la commande pidof.
ok merci beaucoup
je vais essayer.
si quelqu'un a encore d'autres idees, n'hesitez pas, je suis preneur
Threep
Tu peux ecrire un petit scrip bash pour renommer des extensions
#!/bin/bash
for fichier in *.$1
do
mv $fichier ${fichier%$1}$2
done
{fichier%$1} va retirer "extension1" du fichier, et $2 lui ajoute "extension2"
Tu appelles ton script comme ça :
sh script extension1 extension2
Pour connaitre le pid d'un processus en connaissant son nom, tu peux utiliser la commande pidof.
En_Sabah_Nur
mv *.txt *.text
man google
doudouintel
salut a tous, j'ai un gros probleme sous linux, je n'arrive pas a renommer plusieurs fichiers d'un coup
par exemple, je veux renommer tous les fichiers avec l'extensions txt en des fichiers avec l'extension text
d'autres part, je voudrais faire un programme pour simplifier la visualisation de tous les processus. je voudrais passer en parametre le nom du processus et je voudrais que le programme me resorte l'ID du processus. j'ai deja chercher, je pense que je peux prendre la commande top mais apres je suis bloquer, je vois pas ce qu;il faut utiliser comme commande
Merci de vos conseils et de vos reponses
