Luis Gómez Caballero Sviluppo di software

Git è uno strumento per collaborare all’edizione dei file di testo. In questo post vedremo come creare repositories.

Introduzione

Un repository è una cartella speciale in cui è possibile fare operazioni con Git.

Abbiamo due scenari durante la creazione di un repository: utilizzare una directory senza dati esistenti e utilizzare una directory con dati preesistenti. Più avanti vedremo come collegare il nostro repository con un server Git come GitHub.

Utilizzare una directory senza dati esistenti

Con l’applicazione Git Bash:

• Siamo nel percorso in cui creeremo la cartella del repository (usando “ls” per mostrare file e directory e “cd” per entrare in una directory).
• Creiamo la cartella del repository con “mkdir” o con Esplora file di sistema e accediamo alla cartella.

E ora, lanciamo questo comando per creare il repository:

git init

In questo modo il repository sarà stato creato localmente e vediamo come ora è cambiata la riga di comando.

Per vedere lo stato del repository lanciamo:

git status

Ci dice che non c’è nulla da caricare.

Creiamo un file “HelloWorld.txt” con il programma che vogliamo e aggiungiamo del testo.

Lanciamo questi comandi:

git add .
git commit -m "First commit with a new file"

Ciò avrà aggiunto il file allo stage e quindi avrà preso una foto per fare un “commit”.

Per verificare che questo “commit” sia stato generato, lanciamo:

git log

Utilizzare una directory con dati esistenti

Un altro esempio di utilizzo di Git è l’uso di una directory con file di testo preesistenti.

Siamo situati nella directory in cui abbiamo i nostri file e immettiamo:

git init

Questo inizializzerà il repository in quella posizione.

Quindi lanciamo:

git add .
git commit -m "First commit with existing files"

Per verificare che abbiamo eseguito correttamente il commit, inseriamo di nuovo:

git log

Collegare il repository locale con GitHub

In i due casi precedenti, è necessario collegare il repository locale a un repository che si trova su un server. In questo modo altri collaboratori saranno in grado di apportare modifiche.

Per collegare il repository locale, dobbiamo prima crearlo nel nostro account GitHub. Dobbiamo solo crearlo, senza aggiungere alcun file.

In Git Bash, andiamo alla cartella corrispondente e lanciamo:

git remote add origin git@github.com:username/repository_name
git push -u origin master

questo modo i due repository sono collegati e se facciamo delle modifiche in uno di essi possiamo sincronizzare l’altro.