Hacktoberfest 2026 : les issues que les mainteneurs ont marquées pour octobre, ouvertes et accessibles aux débutants. Parcourir les issues Hacktoberfest

OndrejPhpenmod used even when PHP invoking it is different

Fermée
#761 0 commentaires 0 réactions 1 personne assignée Voir sur GitHub

Les mainteneurs répondent en général sous 1 jour

@asgrim y travaille déjà.

Depuis le 6/10/2026.

Évaluation

Cette issue n'a pas encore été évaluée.

Description

bug bug-confirmed maintainer investigating

What are you trying to do?

Install any extension

What platform, and PIE version are you using?

Most recent PIE versions (this bug has existed for a while).

Pre-requisites:

  • You must have ondrej/php repo installed (i.e. which phpenmod valid)
  • You must have a separate non-Ondrej-controlled PHP install (e.g. compile PHP from source)

Steps to reproduce the issue

  • Invoke PIE to install any extension using the non-Ondrej PHP

What do you expect to happen?

The extension should install and be enabled

What is actually happening

There is an error enabling the extension in PHP INI; it carries thru to the next attempt, so eventually works.

Anything else?

  • which phpenmod exists, so OndrejPhpenmod is tried
  • however when using the separate PHP instance, phpenmod <the-ext> won't enable the extension
  • We need to be more clever about whether the PHP we're invoking is actually the Ondrej one
Langage dominant
PHP
Étoiles
2.1k
Forks
77
Merge moyen
1 j 3 h
PR mergées (30 j)
20

Préparer son environnement

Par où commencer

  1. Lisez l'issue en entier, puis le guide de contribution du projet.
  2. Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
  3. Forkez le dépôt et travaillez sur une branche.
  4. Ouvrez une pull request qui référence le numéro de l'issue.

Autres issues de php/pie

Toutes les issues de php/pie

Issues similaires

Plus d'issues PHP

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.