Personalizzare il codespace
GitHub Codespaces è un ambiente dedicato. È possibile configurare i repository con un contenitore di sviluppo per definire l'ambiente GitHub Codespaces predefinito e personalizzare l'esperienza di sviluppo in tutti i codespace con i dotfile e la sincronizzazione delle impostazioni.
Cosa si può personalizzare
Esistono molti modi per personalizzare il codespace. che verranno ora esaminate singolarmente.
- Sincronizzazione delle impostazioni: È possibile sincronizzare le impostazioni di Visual Studio Code (VS Code) tra l'applicazione desktop e il client Web VS Code.
- Dotfiles: È possibile usare un repository dotfiles per specificare script, preferenze della shell e altre configurazioni.
- Rinominare uno spazio di codice: Quando si crea un oggetto Codespace, viene assegnato un nome visualizzato generato automaticamente. Se sono presenti più codespace, il nome visualizzato consente di distinguere tra i vari codespace. È possibile modificare il nome visualizzato del codespace.
- Modificare la shell: È possibile modificare la shell in un codespace per mantenere la configurazione usata. Quando si lavora in un codespace, è possibile aprire una nuova finestra del terminale con una shell di propria scelta, modificare la shell predefinita per le nuove finestre del terminale o installare una nuova shell. È anche possibile usare dotfile per configurare la shell.
- Modificare il tipo di computer: È possibile modificare il tipo di computer che esegue Codespace, in modo da usare le risorse appropriate per il lavoro che si sta eseguendo.
-
Impostare l'editor predefinito: È possibile impostare l'editor predefinito per Codespaces nella pagina delle impostazioni personali. Impostare le preferenze dell'editor affinché al momento della creazione o dell'apertura di un codespace esistente venga aprrto l'editor predefinito.
- Visual Studio Code (applicazione desktop)
- Visual Studio Code (applicazione client Web)
- Gateway JetBrains: per l'apertura di codespace in un IDE JetBrains
- JupyterLab: interfaccia Web per Project Jupyter
- Impostare l'area predefinita: È possibile impostare l'area predefinita nella pagina delle impostazioni del profilo GitHub Codespaces per personalizzare la posizione in cui si trovano i dati.
- Impostare il timeout: L'esecuzione di Codespace verrà interrotta dopo un periodo di inattività. Per impostazione predefinita, questo periodo è di 30 minuti, ma è possibile specificare un periodo di timeout predefinito più lungo o più breve nelle impostazioni personali in GitHub. L'impostazione aggiornata verrà applicata a tutti i nuovi codespace creati, o a quelli esistenti, a partire dall’avvio successivo.
- Configurare l'eliminazione automatica: Gli spazi di codice inattivi vengono eliminati automaticamente. È possibile selezionare la durata di conservazione dei codespace arrestati, fino a un limite massimo di 30 giorni.
Le informazioni aggiuntive e le istruzioni dettagliate necessarie per la personalizzazione sono disponibili nell'unità Riepilogo, situata alla fine di questo modulo.
Aggiungere estensioni o plug-in al codespace
È possibile aggiungere plugin ed estensioni in un Codespace per personalizzare l’esperienza in JetBrains e VS Code.
Estensioni di VS Code
Quando si lavora sui codespace nell'applicazione desktop di VS Code o nel client Web, è possibile aggiungere le estensioni necessarie dal marketplace di Visual Studio Code. Per informazioni su come vengono eseguite le estensioni in GitHub Codespaces, vedere Supporto di sviluppo remoto e GitHub Codespaces nella documentazione di VS Codespaces.
È possibile utilizzare la sincronizzazione delle impostazioni per sincronizzare automaticamente le estensioni, le impostazioni, i temi e i tasti di scelta rapida tra l'istanza locale e i codespace creati.
Plugin JetBrains
Quando si lavora sui Codespace in un IDE di JetBrains, è possibile aggiungere i plugin dal marketplace di JetBrains.