PHP Systems

PHP is supported by a number of machines provided by a number of generous sponsors. This is a basic inventory of those machines and what services they provide.

• bk2.php.net
• dp1.php.net (PPC testing)
• downloads.php.net (downloads.php.net, shared.php.net)
• bugs.php.net
• edit.php.net
• euk2.php.net (doc, docs)
• euk3.php.net (PEAR)
• idle.php.net (IRC)
• k1.php.net (rmtools)
• museum.php.net (Museum)
• osu1php.php.net (master)
• oti1.php.net (CHM docs)
• oti2.php.net
• pb1.php.net (mailing lists)
• pecl.php.net
• php-git1.php.net (git.php.net)
• php-jump2.php.net (europe.jump.php.net)
• php-jump3.php.net (americas.jump.php.net)
• php-jump4.php.net
• php-smtp2.php.net (MX)
• php-web2.php.net (web)
• rl2.php.net
• sc2.php.net (rsync)
• svn2.php.net (SVN, PHP-GTK, people.php.net)
• wiki.php.net (wiki)
• windows.php.net

• nex2.php.net (gcov)
• euk1.php.net (PEAR)
• ez1.php.net
• micfo1.php.net
• micfo2.php.net
• nex1.php.net
• osu1.php.net
• ovh.php.net
• pb11.php.net (edit.php.net)
• pb12.php.net
• php-jump1.php.net
• rl.php.net (old wiki)
• rs1.php.net
• sc1.php.net
• sgrv1.php.net
• sgrv2.php.net (old bugs.php.net)
• sgrv3.php.net (pear.php.net testing infrastructure)
• sgrv4.php.net (old shared.php.net)
• sp1.php.net
• y1.php.net
• y2.php.net
• y3.php.net
• sp2.php.net (OpenGrok, Munin)
• bk1.php.net
• sph1.php.net (qa, snaps)

People with SSH accounts on the above machines must use one of our jump hosts to connect to them. Add this to your ~/.ssh/config:

  Host git.php.net americas.jump.php.net europe.jump.php.net
      ProxyJump none
  
  Host *.php.net
      ProxyJump <USERID>@americas.jump.php.net:9022
      User <USERID>

Replace americas with europe depending on where you are. The jump hosts also provide 2FA using Google Authenticator.

Reference: https://en.wikibooks.org/wiki/OpenSSH/Cookbook/Proxies_and_Jump_Hosts

• Install the google-authenticatorhttps://github.com/google/google-authenticator-libpam package on a local machine (I used a docker container to avoid contaminating my real machine, but it's probably not necessary).
• Run google-authenticator command and create a new Google Authenticator entry using the QR code.
• Email that file to someone with root access on jumphost machines. I'm nominating Derick for this since he's been awesome and shall be rewarded with further work. Admin will put that file into your homedir with 0600 perms and chown'd to you.
• Connect to jumphost using the new authenticator code.
• Remove ~/.google_authenticator
• Generate a new config profile locally on the jumphost.
• Ask Derick to then copy that new config to other jumphosts so that you can use NA as well as EU.

Note: You'll need to find someone who can replicate your account to europe.jump.php.net so you can use it there, too.

Tip, you can tell ssh to use a php-specific key for php-related things by adding something like this to your Host *.php.net section:

IdentityFile /Users/bjori/.ssh/php_id_rsa

We use Nagios and Munin to monitor the machines. There is a public network status page as well as a protected area (log in with your SVN credentials) with more detailed information. The Munin web interface is available here.

Note regarding FreeBSD machines: Upgrades should be performed according to this guide.