Incorrect URL in DOMjudge Download Page

Malcolm Corney m.corney at
Sun Jul 3 06:32:53 CEST 2016

Hi folks,


On the DOMJudge - Download page at you
have an instruction for adding your repository GPG key to APT but the URL in
the instruction is incorrect.  Furthermore, the pipe command requires sudo
but the curl command does not.  The command as currently displayed is:


sudo curl -o - | apt-key add -


It should be:


curl -o - | sudo apt-key add -


Hope this helps someone.


Malcolm Corney



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the DOMjudge-devel mailing list