
Works like a charm now :)
Thanks for fixing, Malte
Lavinia Battaglia schrieb am 2022-07-01:
Hi Malte,
Thanks for letting us know: for some reason, an old version of the PPL web pages were online on our web site.
In addition anonymous rsync (as well as ftp) is no longer supported.
Please try reloading the instruction given in the (now up-to-date) web pages and report back. Best regards,
Lavinia
Lavinia Battaglia
Duly Authorised Representative, BUGSENG (http://bugseng.com) Email: lavinia.battaglia@bugseng.com On 6/29/22 20:24, Malte Frank Gerdes wrote:
Hi there!
I tried to clone via the read-only anonymous method and i get the following error:
-> % git clone git://git.cs.unipr.it/ppl/ppl.git Cloning into 'ppl'... fatal: remote error: access denied or repository not exported: /ppl/ppl.git
The http method also gives an error:
-> % git -c http.sslVerify=false clone https://git.cs.unipr.it/ppl/ppl.git Cloning into 'ppl'... fatal: repository 'https://git.cs.unipr.it/ppl/ppl.git/' not found
Trying to get onto the gitweb interface asks for credentials, which i (obviously) don't have and i couldn't find any info about it on the website.
Also rsync doesn't work with:
-> % rsync --archive --delete --checksum --compress \ rsync://rsync.cs.unipr.it/ppl-git ./ppl-git rsync: [Receiver] failed to connect to rsync.cs.unipr.it (160.78.167.140): Connection refused (111) rsync error: error in socket IO (code 10) at clientserver.c(137) [Receiver=3.2.3]
Finally i tried the direct tarball download, which did work YAY!
So my question is: is this intended behaviour or not?
bye, Malte Frank Gerdes _______________________________________________ PPL-devel mailing list PPL-devel@cs.unipr.it https://www.cs.unipr.it/mailman/listinfo/ppl-devel