Skip to content

issues Search Results · repo:DOMjudge/domjudge-scripts language:Python

Filter by

14 results
 (65 ms)

14 results

inDOMjudge/domjudge-scripts (press backspace or delete to remove)

DOMjudge/domjudge-scripts
Fixes needed for the 2025 ICPC image

- [x] Autologin to lightdm instead of gdm. - [x] Remove or fix dconf config. - [ ] Import pc2 packages key, see below. - [ ] Find a way to copy kotlin to chroot from /opt/kotlinc to /chroot/domjudge//usr/lib/kotlinc ...
  • nickygerritsen
  • Opened 
    yesterday
  • #187

DOMjudge/domjudge-scripts
Install OpenJDK for CDS

Currently, OpenJDK (17 I believe) is not installed when the CDS is being installed. Would be nice to add this to the CDS role?
  • BHenkemans
  • 1
  • Opened 
    15 days ago
  • #184

DOMjudge/domjudge-scripts
Add misc-tools to path

Certain tools (like import-contest) are convenient to have in the path
  • BHenkemans
  • 6
  • Opened 
    16 days ago
  • #183

DOMjudge/domjudge-scripts
Include handlers error make domserver

While running make domserver I encountered the following error: ERROR! this task include has extra params, which is only allowed in the following modules: raw, include_role, win_shell, include_tasks, ...
  • BHenkemans
  • 1
  • Opened 
    17 days ago
  • #181

DOMjudge/domjudge-scripts
Verify `composer.lock` checksum before deploying `vendor.tgz`

Issues with the vendor lib deployment are very annoying to debug. The deployment was missing 1 commit touching the composer.lock, hence invalidating the tgz. Check expected lock file is there before uploading ...
  • Kevinjil
  • Opened 
    on Sep 15, 2024
  • #175

DOMjudge/domjudge-scripts
Allow multiple remotes in the WF ansible setup

Configure the bare on: - CCSadmin1, (we did in the past, see git history) - git@CDS, (See WFLuxor branch) - Github, (For the testing scenarios) And have a way to change the remote for all machines ...
  • vmcj
  • Opened 
    on May 12, 2024
  • #152

DOMjudge/domjudge-scripts
Convert clusterssh to tmux-cssh

For adhoc actions on this is a good alternative to ansible and the tmux variant can also work from a headless server somewhere to manage the onlline instances.
  • vmcj
  • Opened 
    on May 12, 2024
  • #151

DOMjudge/domjudge-scripts
Move include to the bottom for custom SSH config

Shouldn t the include be at the bottom? That s what the remark states IMO. Originally posted by @vmcj in https://github.com/DOMjudge/domjudge-scripts/issues/136#issuecomment-2097483689 And ...
  • vmcj
  • 1
  • Opened 
    on May 7, 2024
  • #150

DOMjudge/domjudge-scripts
Outdated team manual on domjudge.org

The team manual at: https://www.domjudge.org/documentation - button team manual is outdated. We should consider using the one from demoweb.
  • vmcj
  • 3
  • Opened 
    on Nov 5, 2023
  • #107

DOMjudge/domjudge-scripts
Contest-api check script should be versioned

Currently the contest-api script fails in all our versioned branches (8.*, and probably also 8.*) We should consider to add an optional parameter to check against an older CLICS spec, or use a git tag ...
  • vmcj
  • 1
  • Opened 
    on Jan 6, 2023
  • #82
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! 
Restrict your search to the title by using the in:title qualifier.
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! 
Restrict your search to the title by using the in:title qualifier.
Issue search results · GitHub