Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[problem] Rename Problem.name to Problem.id #299

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

mpsijm
Copy link
Collaborator

@mpsijm mpsijm commented Aug 5, 2023

The Problem.name field left me confused just a bit too often, as I thought it would contain the human-readable name of the problem instead of the problem's ID/"short name" 😇

@thorehusfeldt
Copy link
Collaborator

Related recent discussion at Kattis/problem-package-format#99 (comment) . There is more-or-less up-to-date terminology on “my” fork: https://problem-package-format-copy.readthedocs.io/en/latest/format.html#directory-structure .

I think the consensus it refer to this concept (which also give the root-level directory name) the (problem) package name. So an alternative would be Problem.package_name .

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants