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