OPZIONI (comando) Trova
Vengono visualizzate le opzioni seguenti:
Visualizza un elenco dei profili disponibili.
Rende corrente il profilo selezionato.
Visualizza la finestra di dialogo Aggiungi profilo per salvare il profilo selezionato con un nome diverso.
Visualizza la finestra di dialogo Cambia profilo per modificare il nome e la descrizione del profilo selezionato. Questa opzione può essere utilizzata quando si desidera rinominare un profilo conservando le relative impostazioni correnti.
Elimina il profilo selezionato, a meno che non si tratti del profilo corrente.
Esporta un profilo come file con estensione .arg in modo che possa essere condiviso da altri utenti.
Importa un profilo, ovvero un file con estensione .arg, creato utilizzando l'opzione Esporta.
Ripristina nel profilo selezionato i valori delle impostazioni di sistema di default.