Skip to content

Added Linux Mint support to scripts + GH Workflow#40

Open
pgiuli wants to merge 10 commits into
UnnoTed:masterfrom
pgiuli:master
Open

Added Linux Mint support to scripts + GH Workflow#40
pgiuli wants to merge 10 commits into
UnnoTed:masterfrom
pgiuli:master

Conversation

@pgiuli

@pgiuli pgiuli commented Oct 1, 2023

Copy link
Copy Markdown

I added the 'linuxmint' /etc/os-release ID attribute to the scripts so that the installation/building scripts work on Linux Mint too.
Tested on Mint 21.2

@pgiuli

pgiuli commented Oct 1, 2023

Copy link
Copy Markdown
Author

Hey, I've also created a GitHub Workflow to automatically build and check the package from the source. Totally OK if you just want to merge the script things for Mint. I saw a fork that intended to do this and thought it would be a nice addition.

@pgiuli pgiuli changed the title Added Linux Mint support to scripts Added Linux Mint support to scripts + GH Workflow Oct 1, 2023
@landsman

Copy link
Copy Markdown

@UnnoTed this looks great, can you please check it?

@UnnoTed

UnnoTed commented Apr 20, 2026

Copy link
Copy Markdown
Owner

@UnnoTed this looks great, can you please check it?

It's been a while since I've had some free time, I'll test PRs and merge this week.

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.

3 participants