Comment modifier les extensions de fichier des fichiers via la ligne de commande sous Mac OS
Table des matières:
Les utilisateurs de la ligne de commande peuvent trouver utile de modifier et de renommer l'extension de fichier d'un groupe de fichiers dans un répertoire. Par exemple, supposons que vous ayez un lot de fichiers avec l'extension de fichier ".txt" mais que vous souhaitiez que toutes ces extensions de fichier soient ".py" à la place. C'est ce que nous allons démontrer ici en nous appuyant sur un simple script bash pour modifier un groupe d'extensions de fichiers sur la ligne de commande de Mac OS / OS X, mais cela fonctionnera également sous Linux et d'autres saveurs Unix.
Avant de commencer, réalisez que cela ne change pas un type de fichier, cela ne change que l'extension du fichier. De plus, cette approche pas à pas utilise intentionnellement la ligne de commande et s'adresse donc aux utilisateurs plus avancés. Cependant, le terminal n'est pas le seul moyen de le faire, et donc si cela est trop avancé ou sans rapport avec vos compétences utilisateur, rappelez-vous que Mac OS offre des outils simples pour renommer les fichiers par lots sous Mac OS et modifier par lots les extensions de fichiers dans le Finder également, dont aucun ne nécessite la ligne de commande. D'ACCORD? Bon, passons à l'approche de la ligne de commande en utilisant un simple script bash d'une ligne.
Au fait, vous devriez toujours faire une copie et/ou une sauvegarde des fichiers que vous modifiez, en particulier si vous êtes nouveau sur la ligne de commande. Ne pas le faire pourrait entraîner une perte de données, le terminal ne pardonne pas les fautes de frappe ou les erreurs, alors ne sautez pas vos sauvegardes.
Comment modifier toutes les extensions de fichier dans un répertoire via la ligne de commande
Prenons quelques exemples. Dans le premier exemple, nous allons changer tous les fichiers du répertoire de travail actuel avec l'extension ".txt" et les changer en ".py" à la place. En supposant que vous êtes dans le répertoire où vous souhaitez changer tous les fichiers du répertoire courant en une nouvelle extension de fichier, voici la syntaxe à utiliser :
pour le fichier au format .txt ; faire mv $file>"
Notez que cela utilise le caractère générique , ce qui signifie que tout et n'importe quoi dans le répertoire actuel correspondant à l'extension de fichier ".txt" sera modifié. Notez également les multiples instances de « txt » et la seule instance de « py » que vous souhaitez modifier pour répondre à vos besoins.
Tout cela consiste à créer une boucle simple dans laquelle les fichiers correspondant au caractère générique et à l'extension de fichier initiale sont trouvés, puis à exécuter la commande "mv" pour déplacer (renommer) ces fichiers de l'extension de fichier initiale à le remplacement. Assez simple, non ?
Prenons un autre exemple, disons que nous avons une collection de fichiers image dans le répertoire courant avec des noms de fichiers comme "blahblah.jpg.JPEG" mais nous voulons vraiment qu'ils aient tous le même nom de fichier du moins redondant et plus facile à lire "blazblah.jpeg". Dans ce cas, la syntaxe ressemblerait à ceci :
"pour le fichier au format .jpg.JPEG ; faire mv $fichier ${fichier%.jpg.JPEG}.jpeg ; Fini"
L'approche de la ligne de commande pour modifier les extensions de fichier est assez rapide et les extensions de fichier seront modifiées rapidement, sans boîte de dialogue d'avertissement ni confirmation.
Et pour réitérer une fois de plus, il ne s'agit pas de convertir des types de fichiers ou de changer autre chose que le nom de l'extension de fichier.
Vous connaissez un meilleur moyen de modifier un ensemble d'extensions de fichiers dans un répertoire via la ligne de commande ? Vous voulez simplement parcourir d'autres astuces de ligne de commande intéressantes (allez ici) ? Faites-nous part de vos réflexions dans les commentaires !