Skip to content

Conversation

vmcj
Copy link
Member

@vmcj vmcj commented Jul 26, 2024

Extract the OS/release information

This is not 100% doable with /etc/os-release only. The Debian difference between Release & Codename is not shown in the official containers for example. See: https://hub.docker.com/_/debian

Closes: #2563.

@vmcj vmcj force-pushed the 2563_os_release branch from f0eb5a4 to b90e101 Compare July 26, 2024 22:38
@thijskh
Copy link
Member

thijskh commented Jul 31, 2024

I'm ok with this but would just as fine error out when lsb_release is not present and have the user install it. They need to install debootstrap anyway.

@vmcj vmcj force-pushed the 2563_os_release branch 2 times, most recently from 39611a6 to 3a4e14d Compare August 25, 2024 16:20
Extract the OS/release information

This is not 100% doable with /etc/os-release only. The Debian difference
between Release & Codename is not shown in the official containers for
example. See: https://hub.docker.com/_/debian
@vmcj vmcj force-pushed the 2563_os_release branch from 817bb14 to 80f6290 Compare August 25, 2024 19:01
@vmcj
Copy link
Member Author

vmcj commented Aug 25, 2024

Implemented @thijskh his suggestion.

@vmcj vmcj added this pull request to the merge queue Aug 25, 2024
Merged via the queue into DOMjudge:main with commit cf4832b Aug 25, 2024
20 of 21 checks passed
@vmcj vmcj deleted the 2563_os_release branch August 25, 2024 19:02
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.

Fallback from lsb_release to /etc/os-release
2 participants