Outils du site
Est-il Dieu possible, en pleine mouvance des droits de la femme, que des bougresses se plient encore aux ordres fascisants d'une espèce de Ubu prostatique de la mode, qui au lieu de crever de honte dans son anachronisme, continue de leur imposer le carcan chiffonneux de ses fantasmes étriqués, et cela, jusqu'au fin fond populaire de nos plus mornes Prisunic ? Je t'en prie, ma femme, ma soeur, mon amour, mets ton jean, ou reste nue, mais ne marche pas dans la mode, ça porte malheur. [Pierre Desproges]
Panneau latéral
56-tools:git:server
Ceci est une ancienne révision du document !
GIT Server
Creation d'un utilisateur dédié sur le serveur
sudo adduser git su git cd mkdir .ssh && chmod 700 .ssh touch .ssh/authorized_keys && chmod 600 .ssh/authorized_keys
On ajoute alors les clés utilisateurs dans “.ssh/authorized_keys”
Initialisation d'un projet sur le server
$ mkdir project.git $ cd project.git $ git init --bare hint: Using 'master' as the name for the initial branch. This default branch name hint: is subject to change. To configure the initial branch name to use in all hint: of your new repositories, which will suppress this warning, call: hint: hint: git config --global init.defaultBranch <name> hint: hint: Names commonly chosen instead of 'master' are 'main', 'trunk' and hint: 'development'. The just-created branch can be renamed via this command: hint: hint: git branch -m <name> Initialized empty Git repository in /media/bkp/GITs/project.git/
Initialisation d'un projet pour un utilisateur
$ mkdir project $ cd project $ git init
Ensuite, après un commit :
git remote add origin git@gitserver:/srv/git/project.git
Dernière modification : 2023/11/21 19:00