PHP: systems

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.
====== 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.

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

===== History =====

  * <del>[[systems/nex2|nex2.php.net]] (gcov)</del>
  * <del>[[systems/euk1|euk1.php.net]] (PEAR)</del>
  * <del>[[systems/ez1|ez1.php.net]]</del>
  * <del>[[systems/micfo1|micfo1.php.net]]</del>
  * <del>[[systems/micfo2|micfo2.php.net]]</del>
  * <del>[[systems/nex1|nex1.php.net]]</del>
  * <del>[[systems/osu1|osu1.php.net]]</del>
  * <del>[[systems/ovh|ovh.php.net]]</del>
  * <del>[[systems/pb11|pb11.php.net]] (edit.php.net)</del>
  * <del>[[systems/pb12|pb12.php.net]]</del>
  * <del>[[systems/php-jump1|php-jump1.php.net]]</del>
  * <del>[[systems/rl|rl.php.net]] (old wiki)</del>
  * <del>[[systems/rs1|rs1.php.net]]</del>
  * <del>[[systems/sc1|sc1.php.net]]</del>
  * <del>[[systems/sgrv1|sgrv1.php.net]]</del>
  * <del>[[systems/sgvr2|sgrv2.php.net]] (old bugs.php.net)</del>
  * <del>[[systems/sgrv3|sgrv3.php.net]] (pear.php.net testing infrastructure)</del>
  * <del>[[systems/sgrv4|sgrv4.php.net]] (old shared.php.net)</del>
  * <del>[[systems/sp1|sp1.php.net]]</del>
  * <del>[[systems/y1|y1.php.net]]</del>
  * <del>[[systems/y2|y2.php.net]]</del>
  * <del>[[systems/y3|y3.php.net]]</del>
  * <del>[[systems/sp2|sp2.php.net]] (OpenGrok, Munin)</del>
  * <del>[[systems/bk1|bk1.php.net]]</del>
  * <del>[[systems/sph1|sph1.php.net]] (qa, snaps)</del>
  * <del>[[systems/edit-new|edit.php.net]]</del>
  * <del>[[systems/php-web2|php-web2.php.net]] (web)</del>

===== Machine Access =====

==== SSH jump hosts ====

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

==== 2FA setup instructions ====

  - Install the [[google-authenticator|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).
  - 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.
  - 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.
  - Wait until the admin puts 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''

===== Machine Status =====

We use [[http://www.nagios.org/|Nagios]] and [[systems:munin|Munin]] to monitor the machines.  There is a [[http://monitoring.php.net/status/|public network status]] page as well as a [[http://monitoring.php.net/nagios/|protected area]] (log in with your SVN credentials) with more detailed information. The Munin web interface is [[http://monitoring.php.net/munin/|available here]].

===== FreeBSD upgrades =====

Note regarding FreeBSD machines: Upgrades should be performed according to [[http://main.php.net/fbsd_upgrade.txt|this guide]].


===== Social Networks =====

* [[systems:social|Social Networks]]
Page Tools
