Skip to content

Add Remi's RPM repo #990

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

Merged
merged 3 commits into from
Apr 23, 2025
Merged

Add Remi's RPM repo #990

merged 3 commits into from
Apr 23, 2025

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.

@philsturgeon philsturgeon merged commit f64b86e into codeguy:gh-pages Apr 23, 2025
@petk petk deleted the patch-rpm branch April 23, 2025 23:12
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.

4 participants