Revision control på DIKUs system

Mens der findes flere udmærkede frie og gratis hjemmesider til "source code management" med support for både git, bazaar, mercurial, svn osv., kan det måske være en fordel at køre nogle ting på DIKUs system.

git

Der findes to programmer der kan gøre det nemmere at sætte git repos op på servere: gitosis og gitolite. Dog virker begge vist bedst med root access (hvilket almindelige dødelige datalogistuderende af gode grunde ikke har). Med et lille script og nogle public ssh keys er det dog nemt at sætte et ikke-offentligt git repo op uden nogle ekstra programmer (det er nemmere at sætte et offentligt repo op, men i nogle tilfælde kan der måske være formelle krav om at koden tilhørende et projekt ikke må offentliggøres før projektet er bedømt? Er der nogen der ved om det er sådan?).

Trin 0

Gem følgende fil som "gs" i $HOME:

#!/bin/bash
cmd="$SSH_ORIGINAL_COMMAND" # <git command> '<path>'
if [ "$cmd" ] ; then
    dir=`echo "$cmd" | cut -d' ' -f2`
    allowed_dirs="$@"
    for d in $allowed_dirs ; do
        if [ "'~/git/$d'" = $dir ] ; then
            git-shell -c "$cmd"
            exit
        fi
    done
    git-shell -c "You do not have access to this git repo!"
else
    echo "You do not have shell access!"
fi

Trin 1

Kør chmod +x gs.

Trin 2

Kør mkdir -p ~/git ~/.ssh.

Lav et nyt repo

For at lave et nyt git repo, kør på serveren:

git init --bare ~/git/nytrepo

Fordi altsammen foregår på din bruger, vil du altid kunne clone, pull, og push til "nytrepo". For at andre skal kunne gøre det samme --- men intet mere end det --- skal du bruge scriptet "gs" fra før samt public keys fra de folk der skal have mulighed for at læse fra og skrive til repoet.

For hver public key, tilføj følgende linje til "~/.ssh/authorized_keys" (for hver public key skal der bruges netop én linje):

command="$HOME/gs <tilladt repo>..." <public key>

I tilfældet med "nytrepo" ville det fx kunne se sådan her ud:

command="$HOME/gs nytrepo" ssh-rsa AAAAB3Nzac2[...]= ole@komputer

Og hvis "ole@komputer" skal have adgang til flere repoer, kan command="$HOME/gs nytrepo" bare ændres til command="$HOME/gs nytrepo repo2 repo3" osv.

For at klone "nytrepo" ned på din lokale maskine, kør:

git clone <bruger>@ask.diku.dk:~/git/nytrepo

hvor <bruger> er den bruger hvorpå repoet ligger (og hvor din public key er blevet associeret med scriptet "gs"). Så hvis du er Ole og arbejder på et git repo der ligger på Hans' bruger, skal du altså køre

git clone hans@ask.diku.dk:~/git/nytrepo

selv om du er Ole.

Første gang du vil skubbe dit lokale repo til serveren skal du huske at køre git push origin master:refs/heads/master i stedet for git push som du kan køre resten af tiden. git pull kan køres uden argumenter.

Hvis du oprettede dit git repo lokalt og ønsker at skubbe det til serveren bagefter, kør git remote add origin "<bruger>@ask.diku.dk:~/git/<repo>" lokalt før du pusher for første gang.

Andet

SVN har svnserve som burde fungere på nogenlunde samme måde som git-shell. Mercurial og Bazaar har sikkert lignende programmer.

Gammelt

Der er en guide på dikutals wiki til hvordan man nemt kan sætte git op på sin bruger på DIKUs servere via ssh: http://dikutal.dk/wiki/revision-control-p%C3%A5-dikus-system

EDIT 1: Jeg har flyttet wiki-artiklen herover så der ikke længere er et behov for at gå til Dikutals wiki.