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.

Description
dati e relazioni di laboratorio fatto in 3
Readme 9.7 MiB
Languages
Jupyter Notebook 100%