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

chore: support fedora #3749

Merged
merged 1 commit into from
May 29, 2020
Merged

chore: support fedora #3749

merged 1 commit into from
May 29, 2020

Conversation

alessiodf
Copy link
Contributor

Summary

Following on from #3738 I wanted to use Fedora rather than CentOS so I made the required changes to the installer script to make it compatible with both RHEL/CentOS and Fedora. It was a lot less work than anticipated, just adding --skip-broken so it only installs epel-release if it's available and won't abort the installation if it's not (since it's required for RHEL/CentOS, thus will be installed, but is not present in Fedora since it is not necessary for that distro).

I confirmed that this makes Core installable and runnable on the latest Fedora and also continues to work fine on the latest CentOS.

If you only want to support RHEL/CentOS as far as RedHat distributions go then fair enough, feel free to close unmerged, but since I already wanted to fix it for myself so I could use my own server running Fedora I thought I'd share it with you in case you wanted to support Fedora out of the box as well as Debian/Ubuntu/RHEL/CentOS.

Checklist

  • Documentation (if necessary)
  • Tests (if necessary)
  • Ready to be merged

@ghost
Copy link

ghost commented May 27, 2020

Thanks for submitting this pull request! A maintainer will review this in the next few days and explicitly select labels so you know what's going on.

If no reviewer appears after a week, a reminder will be sent out.

@ghost ghost added Complexity: Low labels May 27, 2020
@faustbrian faustbrian merged commit a29466e into ArkEcosystem:develop May 29, 2020
@ghost
Copy link

ghost commented May 29, 2020

Your pull request has been merged but was not assigned a bounty tier. A maintainer will assign a bounty tier to this pull request in the next few days.

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