Outils du site

Dire qu'il existe des gens qui préfèrent François Mauriac à Pierre Dac. Comment se peut-ce ? Si je devais écrire une biographie un jour, j'écrirais celle de Pierre Dac. Je voudrais tant expliquer aux cons et aux jeunes l'importance de cet homme (Pierre Dac) dans la pensé moderne. Pierre Dac est à l'esprit d'aujourdhui, ce que Charles Trenet est à la chanson. Merci Pierre Dac de nous avoir enfoncé tant de portes ! [San-Antonio]

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

Cela peut aussi être intialisé dans le .git/config du projet :

[remote "origin"]
	url = git@hal:/bkp/GITs/project.git
	fetch = +refs/heads/*:refs/remotes/origin/*
Dernière modification : 2023/11/21 19:02