Thanks, fixed! - Jaap
On 03-07-16 01:32, Malcolm Corney wrote:
Hi folks,
On the DOMJudge – Download page at https://www.domjudge.org/download 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 - https://domjudge.org/repokey.asc | apt-key add -
It should be:
curl -o - https://www.domjudge.org/repokey.asc | sudo apt-key add -
Hope this helps someone.
Malcolm Corney
DOMjudge-devel mailing list DOMjudge-devel@domjudge.org https://www.domjudge.org/mailman/listinfo/domjudge-devel