Outils du site
Que la vie serait belle si tout le monde doutait de tout, si personne n'était sûr de rien. On pourrait supprimer du dictionnaire les trois quarts des mots en \"iste\", fasciste et communiste, monarchiste et gauchiste, khomeyniste et papiste. [Pierre Desproges]
Panneau latéral
56-tools:git:server
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
Cela peut aussi être intialisé dans le .git/config du projet :
[remote "origin"] url = git@gitserver:/srv/git/project.git fetch = +refs/heads/*:refs/remotes/origin/*
Dernière modification : 2023/11/21 19:03