-
Notifications
You must be signed in to change notification settings - Fork 18.5k
Tools: environment_install: make sure Linux Mint dist is always mapped #29875
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
base: master
Are you sure you want to change the base?
Conversation
@peterbarker I'll try testing this later this week, but 1 things I noticed from earlier. "jolnir" is not part of the Linux Mint ecosystem, but rather it seems to be added from #23260, which relates to a release from Elementary OS 6.1. You would need to add another conditional check for when |
Another concern is that this change only stops unknown Linux Mint OS distributions, nothing outside that ecosystem. In other words, if someone installed ardupilot with Pop! OS or an unknown Elementary OS distribution and that user's release codename is not recognizable from the install script, it would be the same problem over again with "bullseye". I can see two ways to deal with this. Option A: Set a hard filter against unknown OS distributionsThis would be as simple as checking Option B: Implement checks for popular Ubuntu-variants and all their releasesThis would involve having to check the My RecommendationI'd recommend Option A since it's simple to implement and adding support for specific releases can involve simply asking the user the output of |
97bfbff
to
016066f
Compare
... to an Uubntu release. Saves confusion on newer Mint releases as thje install will fail with a clear message rather than get confused on packages
016066f
to
0d0be60
Compare
I don't have a huge amount of interest in adding support for the less-popular Linux distributions - the lines you're thinking of with "over-engineering". Someone with a bit more time and inclination could come in and do enough work that we could become strict on the distribution accepted, but I thought a little bit of work for Mint (given its popularity) was worthwhile, thus this PR. |
Done |
... to an Uubntu release.
Saves confusion on newer Mint releases as thje install will fail with a clear message rather than get confused on packages
Closes #29710