GitLab: differenze tra le versioni
Vai alla navigazione
Vai alla ricerca
(creazione, categoria) |
m (comandini spiegatini) |
||
(3 versioni intermedie di uno stesso utente non sono mostrate) | |||
Riga 1: | Riga 1: | ||
[[File:GitBindinghelper.jpg|miniatura|L'interfaccia web di GitLab.]] | |||
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 == | |||
=== 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 === | |||
Da scrivere. | |||
=== Pusciare sul repo di qualcun altR* === | |||
Da scrivere. | |||
== Note == | |||
<references /> | |||
[[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 pull
fetch from and integrate with another repository or a local branchgit init
inizializza 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 commit
Esegue un commit.- L'opzione
-m <testo>
evita di aprire un editor per inserire un messaggio significativo pel commit. - L'opzione
-a
equivale 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 git
che congit help [GITCOMANDO]
.