La modification de cette commande entraînera le rechargement de la page.
Importer et exporter des profils
Si vous souhaitez transférer des réglages entre ordinateurs, vous pouvez importer et exporter des fichiers de réglages. Les fichiers de réglages Terminal se terminent généralement par une extension .terminal.
Importer un fichier de réglages
Choisissez Terminal > Préférences, puis cliquez sur Profils.
Cliquez sur le menu local Action
, puis choisissez Importer.Sélectionnez le fichier que vous voulez importer, puis cliquez sur ouvrir.
Exporter un fichier de réglages
Choisissez Terminal > Préférences, puis cliquez sur Profils.
Cliquez sur le menu local Action
, puis choisissez exporter.Saisissez un nom pour le fichier de réglages, puis cliquez sur Enregistrer.