GitLab: differenze tra le versioni
Vai alla navigazione
Vai alla ricerca
m (merda di cristo) |
(aggiunto qualche comando utile e rivista l'intro) |
||
| 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 "forkati" 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 | |||
=== Creare un proprio repo === | === Creare un proprio repo === | ||
| Riga 10: | Riga 14: | ||
=== 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 delle 02:13, 22 set 2017
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 "forkati" 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 vuoto
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].