Les extensions de fichiers aident à la fois les systèmes d'exploitation et les utilisateurs à distinguer les différents formats de fichiers et à comprendre le contenu qui y est stocké. Lorsque vous voyez un fichier avec l'extension ".txt", vous savez instantanément qu'il contient des données textuelles. De même, le fichier ".exe" est un exécutable Windows et les fichiers ".sh" sont des scripts shell Linux.

Mais que se passe-t-il si vous souhaitez modifier ces extensions pour une raison quelconque? Peut-être avez-vous besoin de renommer un fichier texte en script Bash. Le simple fait d'écrire le code dans un fichier texte ne fera pas l'affaire.

Sous Linux, changer les extensions de fichiers est beaucoup plus facile que vous ne le pensez.

Modifier les extensions de fichier depuis le terminal

Les extensions font partie du nom d'un fichier. Et si vous voulez changer l'extension (ou le nom), vous utiliserez la commande mv. mv signifie "déplacer" et est la commande standard sous Linux pour déplacer et renommer des fichiers.

instagram viewer

Mais pourquoi utiliser mv pour renommer des fichiers, vous vous demandez peut-être? C'est parce qu'une opération de renommage équivaut à une opération de déplacement dans le même répertoire, juste avec un nom différent.

La syntaxe de base pour renommer les fichiers depuis la ligne de commande est :

m.v.dossier.oldextdossier.newext

...où oldext et newext sont respectivement les anciennes et les nouvelles extensions.

Considérez que vous souhaitez modifier un fichier texte "myscript.txt" en un script Bash. Utilisez la commande suivante pour le faire :

m.v.monscript.SMSmonscript.sh

Vous devrez peut-être ajouter sudo aux commandes mv en fonction du propriétaire du fichier.

Renommer plusieurs extensions de fichiers à la fois

Vous avez un dossier entier de fichiers avec des extensions inappropriées? Avec un simple Bash pour la boucle, vous pouvez modifier simultanément les extensions de plusieurs fichiers. Par exemple, pour convertir tous les fichiers TXT d'un dossier en PDF :

pour un dans *.txt; faire mv -- "$a""${a%.txt}.pdf"; Fini

Le one-liner mentionné ci-dessus est une boucle for qui trouve chaque fichier se terminant par ".txt". Ensuite, il effectue de manière récursive une opération de renommage sur tous les noms de fichiers correspondants et remplace l'extension ".txt" par ".pdf". La "Fini" à la fin de la commande indique que la boucle est terminée. Simple!

Comment renommer les extensions de fichiers graphiquement

Linux a plusieurs environnements de bureau; certains sont très similaires au bureau Windows par défaut, tandis que d'autres affichent leur caractère unique dans chaque élément graphique. Mais l'expérience utilisateur est plus ou moins la même pour tous les ordinateurs de bureau. Cela signifie que renommer des fichiers sur un bureau Linux est aussi simple que possible.

Ouvrez le gestionnaire de fichiers installé sur votre machine et sélectionnez un fichier en le mettant en surbrillance. Ensuite, faites un clic droit et sélectionnez Renommer. Dans le champ, vous pouvez modifier le nom du fichier, y compris son extension. Continuez en modifiant les extensions de fichier, puis appuyez sur Entrer pour finir.

De nombreux Gestionnaires de fichiers Linux fournissent également des raccourcis que vous pouvez utiliser pour enregistrer un clic supplémentaire. Par exemple, sur GNOME (gestionnaire de fichiers Nautilus), vous pouvez appuyer sur F2 tout en mettant en surbrillance un fichier pour accéder rapidement à la fonction de renommage, éliminant ainsi le besoin de cliquer avec le bouton droit de la souris. De même, sur KDE Plasma (Dolphin) et XFCE (Thunar), vous pouvez appuyer sur le F2 clé pour changer rapidement les extensions de fichiers.

Exécution d'opérations de gestion de fichiers de base sous Linux

Renommer l'extension d'un fichier à l'aide de l'interface de bureau est intuitif et facile à faire, mais lorsque vous traitez plusieurs fichiers à la fois, l'utilisation du terminal est le choix optimal.

La ligne de commande Linux est un outil puissant pour les utilisateurs qui savent l'utiliser. Des opérations quotidiennes aux tâches d'administration système hautement sophistiquées, vous pouvez tout faire avec un terminal. Et la meilleure partie, vous n'avez même pas besoin d'une interface graphique pour pouvoir utiliser une machine Linux. C'est principalement la raison pour laquelle le terminal fait toujours partie de l'écosystème Linux, à une époque où les interfaces graphiques sont la norme.

5 raisons pour lesquelles Linux utilise autant la ligne de commande

Lire la suite

PartagerTweeterPartagerE-mail

Rubriques connexes

  • Linux
  • Gestion de fichiers
  • Commandes Linux
  • Environnement de bureau Linux
  • Terminal

A propos de l'auteur

Deepesh Sharma (123 articles publiés)

Deepesh est l'éditeur de section pour Linux au MUO. Il écrit des guides d'information sur Linux, visant à offrir une expérience heureuse à tous les nouveaux arrivants. Pas sûr des films, mais si vous voulez parler de technologie, c'est votre homme.

Plus de Deepesh Sharma

Abonnez-vous à notre newsletter

Rejoignez notre newsletter pour des conseils techniques, des critiques, des ebooks gratuits et des offres exclusives !

Cliquez ici pour vous abonner