domjudge icon indicating copy to clipboard operation
domjudge copied to clipboard

Possibility of removing/adding new file to executable

Open baziorek opened this issue 3 years ago • 2 comments
trafficstars

I'm using DOMjudge for academic teaching. I'm creating new executable for each problem, because I'm checking submissions with Unit Tests in C++. Unfortunately it is really hard to make its many times, because:

  1. sometimes I add file by accident - the only way to remove the file is to attach entire executable again, then correct language to use the new script
  2. sometimes I forgot to add some file - the only way as above
  3. sometimes in files are national characters e.g. "ąśćżźć" and the text file is detected as binary and I can't edit

Possibility of adding/removing file would solve all the problems above.

I'm using DOMjudge: 7.3.4

baziorek avatar Apr 12 '22 21:04 baziorek

Hi, I see that it was done in commits:

  1. https://github.com/DOMjudge/domjudge/pull/1539
  2. https://github.com/DOMjudge/domjudge/pull/1535
  3. https://github.com/DOMjudge/domjudge/pull/1536

Thanks really much for making easier to edit executables!

What should I do now - it looks that the issue is implemented, so should I close its?

baziorek avatar Apr 23 '22 15:04 baziorek

I'm not fully done yet improving and simplifying the interface

meisterT avatar Apr 23 '22 15:04 meisterT

Also what I just noticed when running another contest: we drop binary files (such as executables) when editing.

meisterT avatar Dec 04 '22 08:12 meisterT

See also #1841

eldering avatar May 08 '23 13:05 eldering

This is how the executables overview looks like now: image

Possible improvements:

  • put the id in code tags
  • separate out used from unused executables
  • either use some fontawesome icon or similar to visually distinguish the executable type
  • perhaps up for debate: for the currently selected contest, add problem badges where appropriate

meisterT avatar Aug 30 '23 18:08 meisterT

I like all these. Maybe even a table per type?

nickygerritsen avatar Aug 30 '23 18:08 nickygerritsen

I like all these. Maybe even a table per type?

If we do the table, would we still want the icon?

vmcj avatar Sep 17 '23 11:09 vmcj