Hide menu
List of publications

GIT repositories

Use GIT repositories through ssh

Add a remote repository through ssh

git remote add remote-ssh ssh://USER@remote.ida.liu.se/home/nicme26/git/REPOSITORY.git

Remove old repository through http

git remote rm origin

Add necessary path to upload and reception program in remote


git config remote.remote-ssh.uploadpack /sw/git-1.7.6.1/bin/git-upload-pack
git config remote.remote-ssh.receivepack /sw/git-1.7.6.1/bin/git-receive-pack

Set the new remote as default for master branch

git config branch.master.remote remote-ssh
git config branch.master.merge refs/heads/master

Set up a git repository

mv .git/hooks/post-update.sample .git/hooks/post-update
git update-server-info

Repositories

Pipelined parallel mergesort

[git repository]

Performance measurement script set

[git repository]

Programming Environment Library (Pelib)

[git repository]


Page responsible: Nicolas Melot
Last updated: 2012-09-18