Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:125559
Precedence: bulk
MIME-Version: 1.0
References: <CABVsiphM3V9G3YN03T5TyL4hJBZkTPXa9zHueHCchAsSkJMdSA@mail.gmail.com>
 <76371198-9064-45d7-abca-edfe974e587c@gmx.de>
In-Reply-To: <76371198-9064-45d7-abca-edfe974e587c@gmx.de>
Date: Sun, 15 Sep 2024 21:50:58 +0900
Message-ID: <CABTDVhCeb=VorJuJaPo+ttaxZRXUUvhuQwxOxZwHBPcinFvsRw@mail.gmail.com>
Subject: Re: [PHP-DEV] Which IDE do you recommend for php-src development?
To: PHP internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="000000000000592318062227e9c8"
From: zeriyoshi@gmail.com (Go Kudo)

--000000000000592318062227e9c8
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

2024=E5=B9=B49=E6=9C=8815=E6=97=A5(=E6=97=A5) 19:49 Christoph M. Becker <cm=
becker69@gmx.de>:

> On 14.09.2024 at 23:44, Barel wrote:
>
> > [=E2=80=A6] One important feature
> > would be to easily work with the project running on a docker container
>
> You may be interested in <https://github.com/php/php-src/pull/15203>.
>
> Christoph
>

I would like to move this forward. DevContainers + VSCode is probably the
simplest and easiest development environment we can offer right now.

I've been switching to the branch of this Pull Request to do development,
but if we could merge this, it would save me the trouble of switching and
be very helpful.

Best regards,
Go Kudo

--000000000000592318062227e9c8
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div dir=3D"ltr">2024=E5=B9=B49=E6=9C=8815=E6=97=A5(=E6=97=
=A5) 19:49 Christoph M. Becker &lt;<a href=3D"mailto:cmbecker69@gmx.de">cmb=
ecker69@gmx.de</a>&gt;:<br></div><div class=3D"gmail_quote"><blockquote cla=
ss=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid =
rgb(204,204,204);padding-left:1ex">On 14.09.2024 at 23:44, Barel wrote:<br>
<br>
&gt; [=E2=80=A6] One important feature<br>
&gt; would be to easily work with the project running on a docker container=
<br>
<br>
You may be interested in &lt;<a href=3D"https://github.com/php/php-src/pull=
/15203" rel=3D"noreferrer" target=3D"_blank">https://github.com/php/php-src=
/pull/15203</a>&gt;.<br>
<br>
Christoph<br></blockquote><div><br></div>I would like to move this forward.=
 DevContainers + VSCode is probably the simplest and easiest development en=
vironment we can offer right now.<br><br><div>I&#39;ve been switching to th=
e branch of this Pull Request to do development, but if we could merge this=
, it would save me the trouble of switching and be very helpful.</div><div>=
<br></div><div>Best regards,</div><div>Go Kudo=C2=A0</div></div></div>

--000000000000592318062227e9c8--