Comment changer le nom et l'extension d'un fichier. Ou mieux: plusieurs à la fois

Parfois, on nous présente un fichier avec un nom que nous voulons changer. À d'autres moments, ce que nous voulons changer, c'est son extension. C'est quelque chose de très simple dans pratiquement n'importe quel système d'exploitation, mais les choses changent déjà si nous voulons le faire plusieurs fois. Quelle est la meilleure option? Comme beaucoup d'autres types de tâches sous Linux, le mieux (mais pas toujours) dans ces cas est de le faire à partir du terminal ou de créer un script pour automatiser le processus de changer le nom et l'extension d'un ou plusieurs fichiers en même temps.

Mais avant de continuer, j'aimerais expliquer quelque chose: changer l'extension d'un fichier n'équivaut pas à le convertir. La seule chose que nous ferons en changeant l'extension d'un fichier sera quelque chose comme "changer le nom de famille", mais le fichier restera le même. Cela signifie que, par exemple, si une photo est enregistrée au format PNG, changer l'extension en quelque chose .jpg ne la rendra pas JPG. Nous pouvons vérifier cela en cliquant avec le bouton droit de la souris et en regardant les informations du fichier. À quoi sert de changer l'extension d'un fichier? Il y a des cas où c'est une bonne idée.

Modifiez le nom et l'extension d'un fichier. Quel est le meilleur?

Je ne suis pas un grand lecteur de bandes dessinées, mais j'ai des bandes dessinées Dragon Ball. Il y a quelque temps, j'ai eu ceux pour Dragon Ball et Dragon Ball Z et dans mes recherches, j'ai réalisé quelque chose: les fichiers CBR (Comic Book Reader) sont essentiellement un ZIP avec une extension qui les rend ouverts dans un logiciel utilisé pour lire des bandes dessinées. En d'autres termes, à une bande dessinée compressée au format ZIP et toutes les images sont à l'intérieur (sans être dans un dossier) nous pouvons changer l'extension en .cbr et elle sera directement compatible avec les lecteurs de bandes dessinées. Ceci est un exemple parfait pour comprendre de quoi parle cet article.

Pour un fichier: F2

Si nous voulons changer le nom et l'extension d'un fichier isolé, le plus simple est de faire faites un clic droit dessus et choisissez «Renommer», "Rename" ou tout ce que vous mettez dans votre distribution Linux. Dans de nombreux systèmes d'exploitation, l'option de renommer est F2, mais il y a aussi de nombreux ordinateurs, en particulier les ordinateurs portables, où F2 est "attrapé" par une fonction (sur mon ordinateur portable, il active le mode avion). Si tel est votre cas, pour renommer un fichier, vous devez utiliser Fn + F2.

Si nous changeons seulement le nom, cela ne nous dira rien, mais si nous changeons l'extension, certains systèmes d'exploitation nous demanderont si nous voulons changer / ajouter une extension différente, à laquelle nous devons dire oui ou accepter.

Avec la commande mv

La commande mv vient de "move", mais elle a également la possibilité de renommer. La commande ressemblerait à ceci:

mv /ruta/al/archivo/origen.ext /ruta/al/archivo/destino.ext

De ce qui précède, nous devons:

• mv est l'ordre.
• / chemin / vers / fichier sont les chemins, le premier celui du fichier d'origine et le second celui du fichier que nous allons enregistrer avec un nouveau nom et une nouvelle extension.
• .ext est l'exemple que je voulais utiliser pour définir l '"extension".

Nous devons garder à l'esprit quelque chose d'important: il existe des répertoires dans lesquels nous ne pouvons pas apporter de modifications car ils sont protégés. Si nous voulons enregistrer un fichier dans un répertoire protégé, nous devons utiliser "sudo mv".

Avec la commande renommer

El commande renommer il est un peu plus puissant que le précédent car il a plus d'options disponibles. Si votre distribution Linux ne l'a pas installée par défaut, elle peut être installée avec la commande sudo apt installer renommer. L'option qui nous intéresse est le «s» (de «substitute», to replace) et la commande ressemblerait à ceci:

rename 's/nombreviejo/nuevonombre/' archivo1.ext archivo24.ext

Cette commande nous permet également de changer le nom et l'extension de nombreux fichiers, pour lesquels je recommande d'aller dans le répertoire où se trouvent les fichiers du terminal. Pour cela, nous écrirons ces commandes, tant que les fichiers sont sur le bureau:

cd /home/pablinux/Escritorio
sudo rename 's/.jpg/.png/' *

Avant "'s", nous pouvons ajouter les options:

• -v: il nous montrera une liste des fichiers renommés avec les nouveaux noms.
• -n: fera une simulation qui affichera uniquement les fichiers qui seront modifiés, mais ne les touchera pas.
• -f: forcera les fichiers originaux à être écrasés.

Avec Inviska Rename

Renommer Inviska est un logiciel spécialement conçu pour renommer en masse des fichiers et des répertoires. Il est multiplateforme et disponible pour Linux. Une fois ouvert, nous ferons ce qui suit

1. La première chose que nous verrons est une vue de notre dossier personnel. J'ai ouvert le dossier de mon bureau et ce que vous avez dans la capture d'écran précédente apparaît.
2. Nous allons d'abord choisir le nom, dans l'onglet «Nom».
   • Remplacez le nom par X
   • Remplacez le texte X par Y.
   • Insérez le texte X à la position Y.
   • Insérez X au début (nous pouvons cocher la case à droite pour l'ajouter à la fin).
   • Ajuster à la position X.
   • Coupez N caractères vers la gauche (nous pouvons cocher la case à droite pour qu'elle soit coupée vers la droite).
3. Dans le deuxième onglet (Extension), nous pouvons choisir l'extension. Les options sont les mêmes que dans l'onglet précédent.
4. Et dans le troisième, la numérotation. Si nous ne voulons pas ajouter de numéro, nous le laissons par défaut. Si nous voulons y ajouter un nombre, nous pouvons le faire au début, à la fin ou dans une certaine position. Cela ressemblerait à ceci:

5. Nous cliquons sur «Renommer».
6. Dans l'avis, nous cliquons sur "Ok".
7. Si tout s'est bien passé, nous ne verrons aucun message. Il ne reste plus qu'à vérifier que les fichiers ont été convertis avec le nom que nous avons indiqué et dans le chemin que nous avons configuré.

Avez-vous testé si votre système d'exploitation le fait par défaut?

Cette question me paraît importante. Par exemple, Kubuntu ne le fait pas, mais Ubuntu permet à de nombreux fichiers d'être renommés en même temps. Pour ce faire, sélectionnez simplement plusieurs fichiers, faites un clic droit et choisissez l'option "Renommer". Quelque chose de similaire à ce que nous propose Inviska Rename apparaîtra, mais plus simple. En tout cas, je l'ai utilisé et cela m'a bien servi.

Il me semble important de rappeler à nouveau que tout ce que nous avons mentionné dans ce post il s'agit de «renommer», pas de «convertir». Pour convertir un ou plusieurs fichiers vers d'autres formats (une autre extension), il faudrait utiliser un système pour chaque type de fichier. Par exemple, pour convertir toutes les images JPG d'un répertoire en PNG avec l'outil ImageMagick, nous écrirons ce qui suit, quelque chose que nous avons plus en détail sur notre blog sœur Ubunlog :

for file in *.png; do convert $file -resize 830 primera-$file; done

Savez-vous déjà comment changer le nom et l'extension d'un fichier avec votre PC Linux?