GP scripts library
Tests & benchmarks
Read/write access to GIT repository
SSH access assumes you have a working ssh setup that lets you login to the
You need to use the authorized key ssh authentification mechanism, otherwise git will keep asking you for a password each time you want to access the server.
Connection to the GIT server via ssh:Type the following command from the shell
git clone ssh://LOGIN@pari.math.u-bordeaux.fr/home/git/parireplacing
Note:when logged on
git clone /home/git/parito avoid network overhead.
Last Modified: 2012-12-13 07:09:07
Copyleft © 2003-2013 the PARI group.