PC2 packages key import:
cat /etc/apt/trusted.gpg.d/pc2packages.asc | gpg --dearmor > ~/pc2.gpg
gpg --no-default-keyring --keyring /usr/share/keyrings/ubuntu-archive-keyring.gpg --import ~/pc2.gpg
For most I have local hacks, but we need to do this properly.
/opt/kotlincto/chroot/domjudge//usr/lib/kotlinccontainer-vscgallery.serviceservice.openjdk-21-jdk-headlessinstead ofopenjdk-17-jdk-headlessinside the chroot.wf46-domjudgeandwf47-domjudgeto be onlydomjudgein SSL certificate for the server.PC2 packages key import:
For most I have local hacks, but we need to do this properly.