Git
Appunti e comandi Git.
Documentazione di riferimento: https://git-scm.com/book/it/v1/
Per-Iniziare: http://rogerdudler.github.io/git-guide/index.it.html
Creare un repository sul server remoto
- Collegari sul server remoto in ssh: _ssh user@217.182.xxx.xxx_
- Andare sulla cartella: _cd /home/git_
- Creare un cartella: _mkdir myproject.git_ (il *.git* e' una notazione di default per definire i progetti condivisi)
- Entrare nella cartella ed eseguire: _git init --bare --shared_
Segue un clone in locale, add dei file commit e push.
You can use git config --list, or look at your ~/.gitconfig file. Local config will be in your repository's .git/config file.
git config --global user.name "Simon Usai"
git config --global user.email "simon.usai@xxx.yy"
https://rogerdudler.github.io/git-guide/index.it.html
Migrazione da un repository ad un altro
- in locale creare una directory di lavoro workdirgit
- cd workdirgit
- git init (crea un .git)
- clonare il repository git clone --mirror git@xxx.xxx.xxx.xxx:progetto.git
- cd progetto.git
- sul server remoto nuovo
- mkdir progetto.git
- cd progetto.git
- git init --bare --shared
- sulla macchina locale
- git push --mirror git@yyy.yyy.yyy.yyy:progetto.git