Salvataggio di un blocco note in GitHub

Salvataggio di un blocco note in GitHub

Salvataggio di un blocco note in GitHub

Per effettuare il backup della tua istanza di blocchi note gestiti e renderla disponibile ad altri, salva i contenuti della tua istanza di blocchi note gestiti 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 una lettura README.

Clona il tuo repository GitHub nella tua istanza di blocchi note gestiti

Per clonare il tuo repository GitHub nell'istanza di blocchi note gestiti, procedi nel seguente modo:

1. Nel repository GitHub fai clic sul pulsante Codice e poi sulla scheda Local.

2. Copia l'URL del protocollo HTTPS.

3. Nella console Google Cloud, vai alla pagina Blocchi note gestiti.

   Vai a Blocchi note gestiti

4. Fai clic su Apri JupyterLab per aprire l'istanza di blocchi note gestiti.

5. Nel JupyterLab  Browser file, seleziona la cartella in cui vuoi clonare il repository GitHub. Ad esempio, la home directory.

   

6. In JupyterLab, seleziona Git > Clona un repository.

7. Se richiesto, inserisci le tue credenziali.

   • Se utilizzi un nome utente e una password GitHub, inserisci il tuo nome utente e password GitHub.

   • Se utilizzi l'autenticazione a due fattori con GitHub, crea e utilizza un token di accesso personale.

8. Nella finestra di dialogo Clona un repository, incolla l'URL HTTPS del tuo repository GitHub.

   

9. Fai clic su Clona.

Configura l'istanza di blocchi note gestiti con le informazioni utente GitHub

1. In JupyterLab, seleziona Git > Apri Git Repository nel terminale per aprire una finestra del terminale Git.

2. Nella finestra del terminale Git, inserisci i comandi seguenti per configurare il nome utente e l'email Git:

   git config --global user.name "YOUR_NAME"
   git config --global user.email "YOUR_EMAIL"
   

3. Se il tuo account GitHub richiede l'autenticazione SSH, completa questi passaggi per collegarlo:

   1. Dal terminale Git nell'istanza di blocchi note gestiti, segui le istruzioni di GitHub per generare una nuova chiave SSH.

   2. Segui le istruzioni per aggiungere questa chiave SSH al tuo account GitHub.

4. Chiudi la finestra del terminale Git.

Aggiungi i file di cui hai eseguito il commit al repository GitHub

1. L'istanza di blocchi note gestiti mostra il repository come nuova cartella. Se il repository GitHub clonato non è visibile come cartella, fai clic sul pulsante Aggiorna elenco di file.

   

2. Fai doppio clic sulla cartella del repository per aprirla.

3. Aggiungi un nuovo blocco note alla tua istanza di blocchi note gestiti.

   Per aggiungere un file blocco note, puoi utilizzare il menu o Avvio app.

   Menu

   1. Per aggiungere un nuovo file del blocco note dal menu, seleziona File > Nuovo > Blocco note.

      

   2. 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

   1. Per aggiungere un nuovo file del blocco note dall'Avvio app, seleziona File > Nuovo > Avvio app.

   2. Fai clic sul riquadro relativo al kernel che vuoi utilizzare.

      

      Si apre il nuovo file del blocco note.

4. Rinomina il nuovo file di blocco note.

   Menu

   1. Seleziona File > Rinomina blocco note. Si apre la finestra di dialogo Rinomina file.

   2. Nel campo Nuovo nome, modifica Untitled.ipynb in qualcosa di significativo, ad esempio install.ipynb.

   3. Fai clic su Rinomina.

   Launcher

   1. Fai clic con il tasto destro del mouse sulla scheda Untitled.ipynb, quindi fai clic su Rinomina blocco note. Si apre la finestra di dialogo Rinomina file.

   2. Nel campo Nuovo nome, modifica Untitled.ipynb in qualcosa di significativo, ad esempio install.ipynb.

   3. Fai clic su Rinomina.

5. Seleziona la scheda Git. Il nuovo blocco note è elencato nei gruppi Non monitorati.

6. 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 tuo blocco note è ora aggiunto al raggruppamento Staged.

7. Per eseguire il commit del nuovo blocco note nel tuo repository GitHub, aggiungi un commento di commit e fai clic su Commit nella scheda Git.

8. Per aprire una finestra del terminale Git, seleziona Git > Apri il repository Git nel terminale.

9. Nella finestra del terminale Git, inserisci il comando git push.

   • Se utilizzi un nome utente e una password GitHub, quando richiesto, inserisci il tuo nome utente e password GitHub.

   • Se utilizzi l'autenticazione a due fattori con GitHub, crea un token di accesso personale da utilizzare.

   Al termine del comando git push, i file di commit si trovano nel repository GitHub.