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

Use /etc/os-release to determine linux distro #204 #207

Closed
wants to merge 1 commit into from
Closed

Use /etc/os-release to determine linux distro #204 #207

wants to merge 1 commit into from

Conversation

havoron
Copy link
Contributor

@havoron havoron commented Apr 16, 2016

Fixes #204

When determine linux distribution use the new configuration file /etc/os-release instead of per-distribution release files /etc/*-release. The majority of the big distributions adopted /etc/os-release.

When determine linux distribution use the new configuration file /etc/os-release instead of per-distribution release files /etc/*-release. The majority of the big distributions adopted /etc/os-release.
@dnfclas
Copy link

dnfclas commented Apr 16, 2016

Hi @havoron, I'm your friendly neighborhood .NET Foundation Pull Request Bot (You can call me DNFBOT). Thanks for your contribution!

This seems like a small (but important) contribution, so no Contribution License Agreement is required at this point. Real humans will now evaluate your PR.

TTYL, DNFBOT;

@DustinCampbell
Copy link
Member

Thanks for digging into the installation problem on Linux Mint and submitting this PR. Much appreciated!

@DustinCampbell
Copy link
Member

@havoron, as much as I'd like to take this into master, we're locked down at the moment. Could you rebase this against the dev branch?

@DustinCampbell
Copy link
Member

Closing in favor of #232

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