Skip to content

Support Linux Mint in BuildLinux.sh (map to Ubuntu base)#582

Open
lolli42 wants to merge 1 commit into
CrealityOfficial:masterfrom
lolli42:feature/linux-mint-build
Open

Support Linux Mint in BuildLinux.sh (map to Ubuntu base)#582
lolli42 wants to merge 1 commit into
CrealityOfficial:masterfrom
lolli42:feature/linux-mint-build

Conversation

@lolli42

@lolli42 lolli42 commented Jul 13, 2026

Copy link
Copy Markdown

Summary

BuildLinux.sh aborts on Linux Mint with "Your distribution does not appear to
be currently supported by these build scripts"
, so Mint users can't build.

Cause

Distro detection reads ID= from /etc/os-release and maps ubuntu to the
debian / debian2 profiles, but Linux Mint reports ID=linuxmint, for which
there is no linux.d/ profile — so the script exits early before configuring.

Fix

Treat Linux Mint like its Ubuntu base, mirroring the existing ubuntu handling:

  • Mint 22.x (Ubuntu 24.04 base) → debian2
  • older Mint → debian

Uses an integer major-version comparison (${VERSION_ID%%.*}) so detection does
not depend on bc being installed.

Testing

Built on Linux Mint 22.3 (Ubuntu 24.04 base, GCC 13): sudo ./BuildLinux.sh -u
now resolves to the debian2 profile and installs the dependencies, and a full
-d / -s / -i build completes.

Notes

Linux-only; no effect on detection for other distributions. Reuses the
debian2 profile and mirrors the ubuntudebian2 logic already present in
the script.

Linux Mint reports ID=linuxmint in /etc/os-release and has no
matching linux.d profile, so BuildLinux.sh aborted with
"distribution not supported". Map linuxmint to its Ubuntu
equivalent: Mint 22.x (Ubuntu 24.04 base) -> debian2, else
debian. Uses an integer major-version compare to avoid a bc
dependency during detection.
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.

1 participant