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 repository GitHub, assicurati che possa essere clonato selezionando la casella di controllo Inizializza questo repository con un file README.
Clona il repository GitHub nella tua istanza di blocchi note gestiti dall'utente
Per clonare il repository GitHub nell'istanza di blocchi note gestiti dall'utente, completa i seguenti passaggi:
Nel repository GitHub, fai clic sul pulsante Codice, quindi sulla scheda Locale.
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.
Nel JupyterLab
Browser file, seleziona la cartella in cui vuoi clonare il repository GitHub. Ad esempio, la home page.In JupyterLab, seleziona Git > Clona un repository.
Se richiesto, inserisci le tue credenziali.
Se usi un nome utente e una password GitHub, inserisci il 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 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 seguenti comandi per configurare il nome utente e l'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 i seguenti passaggi per connettere il tuo account:
Dal terminale Git nell'istanza dei blocchi note gestiti dall'utente, segui le istruzioni di GitHub per generare 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 il repository GitHub clonato non viene visualizzato 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 di 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 nuovo blocco note, ad esempio Python 3, e 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. Viene visualizzata la finestra di dialogo Rinomina file.
Nel campo Nuovo nome, cambia
Untitled.ipynb
in un valore significativo, ad esempioinstall.ipynb
.Fai clic su Rinomina.
Launcher
Fai clic con il tasto destro del mouse sulla scheda
Untitled.ipynb
, quindi fai clic su Rinomina blocco note. Viene visualizzata la finestra di dialogo Rinomina file.Nel campo Nuovo nome, cambia
Untitled.ipynb
in un valore significativo, ad esempioinstall.ipynb
.Fai clic su Rinomina.
Seleziona la scheda Git. Il nuovo blocco note sarà elencato nel raggruppamento Non monitorati.
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 ora aggiunto al raggruppamento Staging.
Per eseguire il commit del nuovo blocco note nel repository GitHub, nella scheda Git aggiungi un commento di commit e fai clic su Commit.
Per aprire una finestra del terminale Git, seleziona Git > Apri il 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 utilizzare.
Una volta completato il comando
git push
, i file di cui hai eseguito il commit si trovano nel tuo repository GitHub.