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

Add Remi's RPM repo #990

Open
wants to merge 2 commits into
base: gh-pages
Choose a base branch
from
Open

Add Remi's RPM repo #990

wants to merge 2 commits into from

Conversation

petk
Copy link
Contributor

@petk petk commented Jul 3, 2023

Here's one quick addition to the Linux installation chapter. It adds RPM-based distributions via the Remi's RPM repo.

@@ -25,7 +29,7 @@ For Ubuntu distributions, the [PPA by Ondřej Surý][Ondrej Sury PPA] provides s

This will ensure that your system can access and install the latest PHP packages available in the PPA.

#### Debian-based distributions
### Debian and other Debian-based distributions
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Would it make more sense just to call this section Debian-based distributions? Debian and Debian-based feels a little redundant, especially since above on line 10 its just Debian-based.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Perhaps so, yes. I've added another commit in the PR now which fixes this a bit.

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