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

Added Linux Mint support to the build system. #5674

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

Conversation

crashkopf
Copy link

Created symlinks for linuxmint and ubuntu in linux.d, and removed the Ubuntu check in BuildLinux.sh. This is an easy way to handle derivative distributions.

One particular caveat: symlinks don't play well
with older versions of git on Windows. It's unlikely to be a problem unless somebody tries to commit changes to linux.d from windows. See: https://stackoverflow.com/questions/5917249/git-symbolic-links-in-windows

An alternative approach is to use the ID_LIKE tag in /etc/os-release. See example 3 in the os-release manual.

Created symlinks for `linuxmint` and `ubuntu` in `linux.d`, and removed
the Ubuntu check in `BuildLinux.sh`.  This is an easy way to handle
derivative distributions.

One particular caveat: symlinks don't play well
with older versions of git on Windows.  It's unlikely to be a problem
unless somebody tries to commit changes to `linux.d` from windows.
See: https://stackoverflow.com/questions/5917249/git-symbolic-links-in-windows

An alternative approach is to use the `ID_LIKE` tag in
`/etc/os-release`.  See example 3 in the `os-release` manual.
@lanewei120 lanewei120 requested a review from MackBambu January 3, 2025 00:14
@MackBambu MackBambu self-assigned this Jan 3, 2025
@MackBambu
Copy link
Contributor

In fact, we primarily work on Windows and often need to modify files in the Linux.d directory on Windows.

@crashkopf
Copy link
Author

Fair. I'm going to send another PR for alternative approach.

@MackBambu MackBambu marked this pull request as draft January 4, 2025 05:04
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