# Per git

Ora voi vorreste fare un

```bash
git pull
```

oppure un

```bash
git pull origin main
```

Ma ancora non potete perchè dovete settare un origin remota.
Per farlo dovrete prima generare delle chiavi SSH con il comando:

```bash
ssh-keygen
```

Questo comando vi farà alcune domande su come deve generare la chiave e dove deve metterla. Per il luogo lasciatelo di defaul, mentre inserite quello che volete nel resto delle domande.

Generata una Key valida dovrete lanciare il comando:

```bash
cat ~/.ssh/nomeChiave.pub
# Se avete veramente lasciato il nome di default
cat ~/.ssh/id_ed25519.pub
```

Altissima Attenzione: voi volete leggere la chiave pubblica NON la chiave privata che si chiama nello stesso modo a meno dell'estensione .pub che stà per pubblica.

Ora  che avete la chiave pubblica dovete aggiungerla alle chiavi fidate nel vostro account sotto la voce chiavi SSH.

L'operazione non ha difficoltà particolari ed online si trovano diversi video che fanno vedere come si importano le chiavi SSH su GitHub. Il metodo è lo stesso uguale identico, quindi se qualcosa non è chiaro dategli un occhio.

Dopo aver caricato la vostra chiave pubblica nella cartella dove volete salvare queste cose di lab fate

```bash
git remote add origin ssh://git@git.jachimachis.duckdns.org:222/jacopoBR/Lab1.git
```

A questo punto siete pronti a usare la repository con anche la parte remota.