GitLab: differenze tra le versioni
Vai alla navigazione
Vai alla ricerca
m (merda di cristo) |
m (comandini spiegatini) |
||
| (Una versione intermedia di uno stesso utente non è mostrata) | |||
| Riga 1: | Riga 1: | ||
[[File:GitBindinghelper.jpg|miniatura|L'interfaccia web di GitLab.]] | [[File:GitBindinghelper.jpg|miniatura|L'interfaccia web di GitLab.]] | ||
Il nostro repository '''Git''' autogestito si trova all'indirizzo <code>https://git.eigenlab.org/</code>, | Il nostro repository '''Git''' autogestito si trova all'indirizzo <code>https://git.eigenlab.org/</code>. Git è una piattaforma di sviluppo condiviso: praticamente qualsiasi progetto portato avanti da più persone contemporaneamente (software, testi collettivi, o altro) può essere gestito tramite Git, che si occupa di integrare i contributi dei diversi partecipanti, tener traccia delle versioni e dei progetti derivati che vengono da un progetto pre-esistente. | ||
== Guida == | == Guida == | ||
=== Qualche comando utile === | |||
Un elenco di comandi usati più spesso; fate riferimento '''comunque''' alla documentazione e al manuale<ref>Si accede alle pagine di manuale sia con <code>man git</code> che con <code>git help [GITCOMANDO]</code>.</ref>. | |||
* <code>git pull</code> fetch from and integrate with another repository or a local branch | |||
* <code>git init</code> inizializza un repository Git vuoto | |||
* <code>git add <nomefile></code> aggiunge uno o più file al prossimo commit. Le modifiche a tali file saranno tracciate d'ora in poi, anche se devono essere esplicitamente aggiunti ai commit successivi. | |||
* <code>git commit</code> Esegue un commit. | |||
** L'opzione <code>-m <testo></code> evita di aprire un editor per inserire un messaggio significativo pel commit. | |||
** L'opzione <code>-a</code> equivale a precedere il comando con un ''add'' di tutti i file tracciati che sono stati modificati dall'ultimo commit. | |||
* <code>git revert <commit></code> "Annulla" il/i commit specificati facendo un nuovo commit che contiene le modifiche a ritroso. Utile per quando fai le gonfiate | |||
=== Creare un proprio repo === | === Creare un proprio repo === | ||
| Riga 10: | Riga 19: | ||
=== Pusciare sul repo di qualcun altR* === | === Pusciare sul repo di qualcun altR* === | ||
Da scrivere. | Da scrivere. | ||
== Note == | |||
<references /> | |||
[[Categoria:EigenNet]] | [[Categoria:EigenNet]] | ||
[[Categoria:Autoformazione]] | [[Categoria:Autoformazione]] | ||
Versione attuale delle 18:58, 27 mar 2018
Il nostro repository Git autogestito si trova all'indirizzo https://git.eigenlab.org/. Git è una piattaforma di sviluppo condiviso: praticamente qualsiasi progetto portato avanti da più persone contemporaneamente (software, testi collettivi, o altro) può essere gestito tramite Git, che si occupa di integrare i contributi dei diversi partecipanti, tener traccia delle versioni e dei progetti derivati che vengono da un progetto pre-esistente.
Guida
Qualche comando utile
Un elenco di comandi usati più spesso; fate riferimento comunque alla documentazione e al manuale[1].
git pullfetch from and integrate with another repository or a local branchgit initinizializza un repository Git vuotogit add <nomefile>aggiunge uno o più file al prossimo commit. Le modifiche a tali file saranno tracciate d'ora in poi, anche se devono essere esplicitamente aggiunti ai commit successivi.git commitEsegue un commit.- L'opzione
-m <testo>evita di aprire un editor per inserire un messaggio significativo pel commit. - L'opzione
-aequivale a precedere il comando con un add di tutti i file tracciati che sono stati modificati dall'ultimo commit.
- L'opzione
git revert <commit>"Annulla" il/i commit specificati facendo un nuovo commit che contiene le modifiche a ritroso. Utile per quando fai le gonfiate
Creare un proprio repo
Da scrivere.
Pusciare sul repo di qualcun altR*
Da scrivere.
Note
- ↑ Si accede alle pagine di manuale sia con
man gitche congit help [GITCOMANDO].