Modifica delle impostazioni utente e dell'area di lavoro
Azure Data Studio può essere facilmente configurato in base alle preferenze e ai requisiti modificandone le impostazioni. Sono disponibili opzioni per la modifica di quasi tutti i componenti dell'editor, dell'interfaccia utente e del comportamento funzionale di Azure Data Studio.
In Azure Data Studio sono disponibili due ambiti di impostazioni diversi:
- Utente: queste impostazioni vengono applicate globalmente a qualsiasi istanza di Azure Data Studio aperta.
- Area di lavoro: le impostazioni dell'area di lavoro sono specifiche di una cartella del computer e sono disponibili solo se la cartella è aperta nella barra laterale Explorer. Le impostazioni definite in questo ambito sostituiscono quelle specificate nell'ambito dell'utente.
Editor impostazioni
Il comando di menu File>Preferenze>Impostazioni (Codice>Preferenze>Impostazioni in MacOS) costituisce un punto di ingresso per la configurazione delle impostazioni utente all’interno dell’editor.
È anche possibile aprire l'editor Impostazioni dal riquadro comandi (CTRL/CMD + MAIUSC + P) con Preferenze: Apri Impostazioni (interfaccia utente) oppure puoi usare l’abbreviazione da tastiera (CTRL/CMD + ,) per l'accesso diretto.
Le impostazioni possono essere visualizzate anche in modo selettivo dal Riquadro comandi (CTRL/CMD + MAIUSC+ P) con Preferenze: Apri Impostazioni utente per aprire le impostazioni utente o Preferenze: Apri Impostazioni area di lavoro per aprire le impostazioni dell'area di lavoro.
Il comando e il menu Area di lavoro vengono visualizzati solo se è stata salvata un'area di lavoro (ad esempio MyScripts nello screenshot).
Dopo aver aperto l'editor Impostazioni, espandere i gruppi nell'albero per visualizzare le varie impostazioni organizzate in sezioni. È anche possibile usare la barra di ricerca per cercare un’impostazione specifica. Nella barra di ricerca vengono visualizzate tutte le impostazioni corrispondenti al testo immesso.
Le estensioni installate con Azure Data Studio possono anche avere impostazioni personalizzate, disponibili nella sezione Estensioni nell'editor impostazioni.
Modificare un'impostazione
Le impostazioni possono essere modificate da una casella di controllo, da un input o da un elenco a discesa. Abilitare o disabilitare la casella di controllo, modificare il testo o selezionare l'opzione desiderata per modificare l'impostazione.
Le modifiche alle impostazioni vengono applicate in Azure Data Studio man mano che vengono effettuate. Le impostazioni modificate sono indicate con una riga blu alla sinistra delle informazioni sull'impostazione.
Per determinare quali impostazioni sono state modificate, nella barra di ricerca è presente un filtro @modified. Un'impostazione viene visualizzata in questo filtro se il valore è diverso dal valore predefinito o se il valore è impostato in modo esplicito nel file JSON delle impostazioni. Questo filtro può essere utile se si dimentica se un'impostazione è stata modificata o meno. È utile anche se l'editor non si comporta come previsto perché un'impostazione è stata modificata accidentalmente.
Per ripristinare l'impostazione predefinita, selezionare l'icona a forma di ingranaggio visualizzata quando si passa il puntatore del mouse sul nome dell'impostazione e selezionare Reimposta impostazione.
File di impostazioni
L'editor Impostazioni fornisce un'interfaccia utente che consente di esaminare e modificare le impostazioni archiviate in un file settings.json. È possibile esaminare e modificare questo file direttamente aprendolo nell'editor usando il comando Preferenze: Apri profilo corrente Impostazioni (JSON) dal riquadro comandi (CTRL/CMD + MAIUSC + P). Le impostazioni vengono scritte come JSON specificando l'ID e il valore dell'impostazione.
Il file settings.json include intelliSense dotato di completamenti intelligenti per le impostazioni e i valori e la descrizione al passaggio del mouse. Vengono evidenziati anche gli errori dovuti a nomi di impostazione non corretti o alla formattazione JSON.
Alcune impostazioni possono essere modificate solo in settings.json, come ad esempio Workbench: Personalizzazioni dei colori e riportano il collegamento Modifica in settings.json nell'editor impostazioni.
Sebbene sia possibile reimpostare le impostazioni singolarmente tramite l'opzione Reimposta impostazione dell’editor impostazioni, è possibile reimpostare tutte le impostazioni modificate aprendo settings.json ed eliminando le voci tra parentesi graffe {}. Non è possibile recuperare i valori precedenti delle impostazioni con questo approccio, quindi prestare attenzione.
Percorsi del file delle impostazioni
A seconda della piattaforma, il file delle impostazioni utente si trova qui:
- Windows
%APPDATA%\azuredatastudio\User\settings.json - Mac
$HOME/Library/Application Support/azuredatastudio/User/settings.json - Linux
$HOME/.config/azuredatastudio/User/settings.json
Spostare le impostazioni utente
Se si aggiorna Azure Data Studio e si vogliono mantenere le impostazioni, i tasti di scelta rapida o i frammenti di codice, seguire questa procedura:
Nel riquadro sinistro selezionare Gestisci (icona a forma di ingranaggio) e quindi Impostazioni.
Nella parte superiore fare clic con il pulsante destro del mouse sulla scheda Impostazioni utente e quindi scegliere Reveal in Explorer (Mostra in Esplora risorse).
Copiare tutti i file in questa cartella e salvarli in una posizione dell'unità locale di facile individuazione, ad esempio la cartella Documenti.
Nella versione aggiornata di Azure Data Studio seguire i passaggi 1 e 2, quindi incollare il contenuto salvato nella cartella per procedere con il passaggio 3. È anche possibile copiare manualmente le impostazioni, i tasti di scelta rapida o i frammenti di codice nelle rispettive posizioni.
Se si esegue l'override dell'installazione esistente, eliminare innanzitutto la directory di installazione precedente per evitare errori di connessione all'account Azure per Resource Explorer.