Salvataggio di un blocco note in GitHub

Questa pagina descrive come salvare i file dei blocchi note dell'istanza Workbench di Agent Platform in GitHub utilizzando l'estensione jupyterlab-git. Potresti farlo per creare un backup del blocco note o per renderlo disponibile ad altri.

Nelle istanze Workbench di Agent Platform, puoi utilizzare l'estensione jupyterlab-git per aiutarti con il controllo della versione. Per saperne di più, consulta jupyterlab-git su GitHub.

Creare un repository GitHub

Se non hai già un GitHubGitHub, devi crearne uno.

Quando crei il repository GitHub, assicurati che possa essere clonato selezionando la casella di controllo Initialize this repository with a README (Inizializza questo repository con un file README).

Inizializza un repository GitHub con un file README.

Clonare il repository GitHub nell'istanza Workbench di Agent Platform

Per clonare il repository GitHub nell'istanza Workbench di Agent Platform, completa i seguenti passaggi:

  1. Nel repository GitHub, fai clic sul pulsante Code (Codice), quindi sulla scheda Local (Locale).

  2. Copia l'URL HTTPS.

  3. Nella Google Cloud console, vai alla pagina Istanze.

    Vai a Istanze

  4. Fai clic su Apri JupyterLab per aprire l'istanza Workbench di Agent Platform.

  5. Nella cartella  File Browser (Esplora file) di JupyterLab, seleziona la cartella in cui vuoi clonare il repository GitHub. Ad esempio, la cartella home.

    Il browser di file JupyterLab in Gemini Enterprise Agent Platform Workbench, che evidenzia la cartella Home in cui è possibile clonare un repository GitHub.

  6. In JupyterLab, seleziona Git > Clone a Repository (Git > Clona un repository).

  7. Nella finestra di dialogo Clone a repo (Clona un repository), incolla l'URL HTTPS del repository GitHub.

    Finestra di dialogo che mostra il campo per l'URL del repository e le opzioni per i moduli secondari e il download del repository.

  8. Se richiesto, inserisci le tue credenziali.

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

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

  9. Fai clic su Clona.

  10. L'istanza Workbench di Agent Platform mostra il repository come una nuova cartella. Se non vedi il repository GitHub clonato come cartella, fai clic sul pulsante Refresh File List (Aggiorna elenco file).

    Il browser di file JupyterLab in Gemini Enterprise Agent Platform Workbench, con il pulsante Aggiorna elenco file evidenziato.

Configurare l'istanza con le informazioni utente di GitHub

  1. In JupyterLab, apri la cartella in cui si trova il repository.

  2. Seleziona Git > Open Git Repository in Terminal (Git > Apri repository Git nel terminale) per aprire una finestra del terminale Git.

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

    git config --global user.name "USERNAME"
git config --global user.email "EMAIL_ADDRESS"

    Sostituisci quanto segue:

    • USERNAME: il tuo nome utente GitHub
    • EMAIL_ADDRESS: l'indirizzo email del tuo account GitHub

  4. Se il tuo account GitHub richiede l'autenticazione SSH, completa i seguenti passaggi per collegare l'account:

    1. Dal terminale Git nell'istanza Workbench di Agent Platform, segui le istruzioni di GitHub per generare una nuova chiave SSH.

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

  5. Chiudi la finestra del terminale Git.

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

  1. In JupyterLab, apri la cartella in cui si trova il repository.

  2. Aggiungi un nuovo blocco note.

  3. Seleziona la scheda Git. Il nuovo blocco note è elencato nel gruppo Untracked (Non monitorato).

  4. 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 Track (Monitora). Nella scheda Git, il blocco note viene aggiunto al gruppo Staged (In preparazione).

  5. Per eseguire il commit del nuovo blocco note nel repository GitHub, nella scheda Git , nel campo Summary (Riepilogo), aggiungi un commento di commit, quindi fai clic su Commit.

  6. Seleziona Git > Push to Remote (Git > Esegui push al repository remoto).

    • Se utilizzi un nome utente e una password di GitHub, quando ti viene richiesto, inserisci il nome utente e la password di GitHub.

    • Se utilizzi l'autenticazione a due fattori con GitHub, inserisci il nome utente GitHub e il token di accesso personale.

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

Passaggi successivi