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.

Note: this list may not be up to date. There is also information in the systems repo on GitHub that may be more up to date. Or out of date in different ways. It's all very exciting.

• downloads.php.net (downloads.php.net, shared.php.net)
• bk2.php.net
• bugs.php.net
• euk2.php.net (doc, docs)
• euk3.php.net (PEAR)
• idle.php.net (IRC)
• museum.php.net (Museum)
• pecl.php.net
• php-git1.php.net (git.php.net)
• php-jump2.php.net (europe.jump.php.net)
• php-jump3.php.net
• php-jump4.php.net (americas.jump.php.net)
• php-smtp2.php.net (MX)
• php-web4.php.net (web)
• svn2.php.net (SVN, PHP-GTK, people.php.net, talks.php.net)
• wiki.php.net (wiki)
• windows.php.net

• rl2.php.net
• k1.php.net (rmtools)
• oti1.php.net (CHM docs)
• oti2.php.net
• dp1.php.net (PPC testing)
• pb1.php.net (mailing lists)
• sc2.php.net (rsync)
• osu1php.php.net (master)
• 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)
• edit.php.net
• php-web2.php.net (web)

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
      Port 9022
  
  Host *.php.net
      ProxyJump <USERID>@europe.jump.php.net:9022
      User <USERID>

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

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

1. Install the https://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).
2. Run google-authenticator command (select to use time based token and rate limiting if asked) and create a new entry in your OTP app (Google Authenticator or Authy work) using the QR code.
3. Email the .google_authenticator 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.
4. Wait until the admin puts that file into your homedir with 0600 perms and chown'd to you.
5. Connect to jumphost using the new authenticator code.
6. Remove ~/.google_authenticator
7. Generate a new config profile locally on the jumphost.
8. 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.

* Social Networks

* IRC and Discord