45 lines
1.4 KiB
Markdown
45 lines
1.4 KiB
Markdown
# 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.
|