Per git
Ora voi vorreste fare un
git pull
oppure un
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:
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:
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
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.