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

Improve the installation documentation #6372

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

Conversation

kit-ty-kate
Copy link
Member

@kit-ty-kate kit-ty-kate commented Jan 20, 2025

While reviewing #6367 i realized the installation documentation is outdated and would require constant update not to be.

This PR does:

  • Replace the individual badge for each distribution&version by repology's vertical-allrepos with its exclude_unsupported=1 option (see https://repology.org/project/referencing/badges) to only show the distribution version not EoL.
  • Remove Exherbo from the list of supported distribution as it only provides the 11 years out-of-date opam 1.1.1
  • Add Alpine Linux to the list
  • Merge the Debian and Ubuntu steps
  • Remove mentions of CentOS and RHEL which do not have the opam package
  • Remove the Distribution.md file which is extremely out-of-date, redundant with the new automatically generated repology badge and requires a huge effort to maintain

as well as some general fixes and improvements

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant