GNU bug report logs - #72966
30.0.90; [PATCH] php-ts-mode: custom php.ini config for the built-in php webserver

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Vincenzo Pupillo <v.pupillo <at> gmail.com>
Subject: bug#72966: closed (Re: bug#72966: 30.0.90; [PATCH] php-ts-mode:
 custom php.ini config for the built-in php webserver)
Date: Sun, 08 Sep 2024 06:49:02 +0000

[Message part 1 (text/plain, inline)]

Your bug report

#72966: 30.0.90; [PATCH] php-ts-mode: custom php.ini config for the built-in php webserver

which was filed against the emacs package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 72966 <at> debbugs.gnu.org.

-- 
72966: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=72966
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Eli Zaretskii <eliz <at> gnu.org>
To: Vincenzo Pupillo <v.pupillo <at> gmail.com>
Cc: 72966-done <at> debbugs.gnu.org
Subject: Re: bug#72966: 30.0.90;
 [PATCH] php-ts-mode: custom php.ini config for the built-in php webserver
Date: Sun, 08 Sep 2024 09:48:09 +0300

> From: Vincenzo Pupillo <v.pupillo <at> gmail.com>
> Cc: 72966 <at> debbugs.gnu.org
> Date: Thu, 05 Sep 2024 21:16:29 +0200
> 
> Hi Eli, I followed your suggestion and moved the CONFIG argument. I also added 
> a new entry to the NEWS file.

Thanks, installed on the master branch, and closing the bug.

Please in the future try to adhere to our conventions of leaving two
spaces between sentences (I fixed that in this patch).

[Message part 3 (message/rfc822, inline)]

From: Vincenzo Pupillo <v.pupillo <at> gmail.com>
To: Bug Emacs <bug-gnu-emacs <at> gnu.org>
Subject: 30.0.90;
 [PATCH] php-ts-mode: custom php.ini config for the built-in php webserver
Date: Mon, 02 Sep 2024 15:29:23 +0200

[Message part 4 (text/plain, inline)]

Ciao, 
this patch adds a new CONFIG attribute to 'php-ts-mode-run-php-webserver' that 
allows you to specify an alternative php.ini file to the default (or whatever 
is specified in 'php-ts-mode-php-config').
Thanks.

Vincenzo.

[0001-Support-for-custom-php.ini-for-the-built-in-PHP-web-.patch (text/x-patch, attachment)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.