Utiliser les encodages de caractères internationaux dans Terminal
Modifier l’encodage de caractères internationaux
Choisissez Terminal > Préférences, puis cliquez sur Profils.
Dans la liste Profils, sélectionnez un profil à modifier.
Cliquez sur Options avancées.
Dans la section International, cliquez sur le menu local Encodage du texte, puis choisissez un encodage de caractères.
Pour utiliser un encodage qui n’est pas proposé dans le menu local, activez-le dans la sous-fenêtre Encodages des préférences Terminal.
Activer les encodages de caractères internationaux
Terminal est fourni avec un jeu commun d’encodages de caractères internationaux activé. Pour utiliser un encodage qui n’est pas mentionné dans les réglages de fenêtres, vous devrez peut-être l’activer dans la sous-fenêtre Encodages des préférences Terminal.
Choisissez Terminal > Préférences, puis cliquez sur Encodages.
Activez les encodages de votre choix en cochant les cases correspondantes.
Pour utiliser l’encodage activé, cliquez sur Profils, puis sur Avancé.
Dans la section International, cliquez sur le menu local Encodage du texte, puis choisissez un encodage de caractères.