OPTIONS (commande) Trouver
Les options suivantes s'affichent.
Affiche la liste des profils disponibles.
Définit le profil sélectionné comme profil courant.
Affiche la boîte de dialogue Ajouter un profil qui permet d'enregistrer le profil sélectionné sous un autre nom.
Affiche la boîte de dialogue Changer le profil qui permet de modifier le nom et la description du profil sélectionné. Pour renommer un profil tout en conservant ses paramètres courants, utilisez Renommer.
Supprime le profil sélectionné (sauf s'il s'agit du profil courant).
Exporte un profil en tant que fichier doté de l'extension .arg de sorte qu'il puisse être partagé avec d'autres utilisateurs.
Exporte un profil (fichier doté de l'extension .arg) créé avec l'option d'exportation.
Remplace les valeurs du profil sélectionné par les paramètres par défaut du système.