|
À certains moments, vous devrez renommer l'extension de fichier de plusieurs fichiers afin de les ouvrir avec un programme différent. Dans le système d'exploitation Linux, vous pouvez accomplir cette tâche en accédant à la borne et à l'aide d'une seule commande . Vous n'aurez pas besoin de connaître les langages de programmation, seulement comment copier et coller un texte de quelques lignes . Alors, ne perdez pas de temps modifier chaque fichier individuellement , vous serez surpris de voir à quelle vitesse vous pouvez faire le travail . Instructions
1 Ouvrez le terminal Linux . Bien que toutes les distributions de Linux est un peu différent , vous pouvez généralement accéder au terminal en sélectionnant « Menu », puis « Outils système ».
2 Tapez " $ ls" dans le terminal à la liste du contenu de votre répertoire courant . Ensuite, tapez " $ cd dossier" où "dossier" est le nom du répertoire contenant les fichiers multiples dont vous souhaitez modifier les extensions.
3 Type de " ou vieux au format *. wma ; faire cp $ vieil `basename $ ancien wma mp3 ` ; . . fait "où" wma " est l'extension du fichier en cours et " MP3 "est l'extension que vous souhaitez modifier
4. . . appuyez sur la touche «Retour» , et la boucle de code localiser et modifier chacune des extensions de fichiers spécifiés .
|
