Salvataggio di un blocco note in GitHub
Per eseguire il backup dell'istanza di blocchi note gestiti dall'utente e renderla disponibile ad altri utenti, salva i contenuti dell'istanza di blocchi note gestiti dall'utente in GitHub.
Crea un repository GitHub
Se non hai ancora un repository GitHub, devi crearne uno.
Quando crei il tuo repository GitHub, assicurati che possa essere clonato selezionando la casella di controllo Inizializza questo repository con un file README.
Clona il tuo repository GitHub nell'istanza di blocchi note gestiti dall'utente
Per clonare il repository GitHub nell'istanza di blocchi note gestiti dall'utente, completa questi passaggi:
Nel tuo repository GitHub, fai clic sul pulsante Codice, quindi sulla scheda Local.
Copia l'URL HTTPS.
Nella console Google Cloud, vai alla pagina Blocchi note gestiti dall'utente.
Fai clic su Apri JupyterLab per aprire l'istanza di blocchi note gestiti dall'utente.
In JupyterLab
File Browser, seleziona la cartella in cui vuoi clonare il repository GitHub. Ad esempio, la cartella home.In JupyterLab, seleziona Git > Clona un repository.
Se richiesto, inserisci le tue credenziali.
Se utilizzi un nome utente e una password GitHub, inserisci il tuo nome utente e la password GitHub.
Se utilizzi l'autenticazione a due fattori con GitHub, crea e utilizza un token di accesso personale.
Nella finestra di dialogo Clona un repository, incolla l'URL HTTPS per il tuo repository GitHub.
Fai clic su Clona.
Configura l'istanza di blocchi note gestiti dall'utente con le tue informazioni utente GitHub
In JupyterLab, seleziona Git > Apri repository Git nel terminale per aprire una finestra del terminale Git.
Nella finestra del terminale Git, inserisci i comandi seguenti per configurare il tuo nome utente e la tua email Git:
git config --global user.name "YOUR_NAME" git config --global user.email "YOUR_EMAIL"
Se il tuo account GitHub richiede l'autenticazione SSH, completa questi passaggi per connetterlo:
Dal terminale Git nell'istanza dei blocchi note gestiti dall'utente, segui le istruzioni di GitHub per la generazione di una nuova chiave SSH.
Segui le istruzioni per aggiungere la chiave SSH al tuo account GitHub.
Chiudi la finestra del terminale Git.
Aggiungi i file di cui hai eseguito il commit al repository GitHub
L'istanza di blocchi note gestiti dall'utente mostra il repository come nuova cartella. Se non vedi il repository GitHub clonato come cartella, fai clic sul pulsante Aggiorna elenco file.
Fai doppio clic sulla cartella del repository per aprirla.
Aggiungi un nuovo blocco note alla tua istanza di blocchi note gestiti dall'utente.
Per aggiungere un file blocco note, puoi usare il menu o Avvio app.
Menu
Per aggiungere un nuovo file di blocco note dal menu, seleziona File > Nuovo > Blocco note.
Nella finestra di dialogo Seleziona kernel, seleziona il kernel per il tuo nuovo blocco note, ad esempio Python 3, quindi fai clic su Seleziona.
Si apre il nuovo file del blocco note.
Launcher
Per aggiungere un nuovo file di blocco note da Avvio app, seleziona File > Nuovo > Avvio app.
Fai clic sul riquadro del kernel che vuoi utilizzare.
Si apre il nuovo file del blocco note.
Rinomina il nuovo file del blocco note.
Menu
Seleziona File > Rinomina blocco note. Si apre la finestra di dialogo Rinomina file.
Nel campo Nuovo nome, sostituisci
Untitled.ipynb
con un nome significativo, ad esempioinstall.ipynb
.Fai clic su Rinomina.
Launcher
Fai clic con il pulsante destro del mouse sulla scheda
Untitled.ipynb
, quindi fai clic su Rinomina blocco note. Si apre la finestra di dialogo Rinomina file.Nel campo Nuovo nome, sostituisci
Untitled.ipynb
con un nome significativo, ad esempioinstall.ipynb
.Fai clic su Rinomina.
Seleziona la scheda Git. Il nuovo blocco note viene elencato nella sezione di raggruppamento Non monitorato.
Per aggiungere il nuovo blocco note come file per il repository GitHub, fai clic con il tasto destro del mouse sul nuovo blocco note e seleziona Traccia. Nella scheda Git, il blocco note viene aggiunto al raggruppamento Staging.
Per eseguire il commit del tuo nuovo blocco note nel repository GitHub, aggiungi un commento sul commit nella scheda Git e fai clic su Esegui il commit.
Per aprire una finestra del terminale Git, seleziona Git > Apri repository Git nel terminale.
Nella finestra del terminale Git, inserisci il comando
git push
.Se utilizzi un nome utente e una password GitHub, quando richiesto, inserisci il nome utente e la password GitHub.
Se utilizzi l'autenticazione a due fattori con GitHub, crea un token di accesso personale da usare.
Al completamento del comando
git push
, i file di cui hai eseguito il commit si trovano nel repository GitHub.