systems:sgrv3

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
Next revisionBoth sides next revision
systems:sgrv3 [2012/08/21 20:14] – add jenkins to list cweiskesystems:sgrv3 [2012/08/21 20:30] – [Setup] mirror setup cweiske
Line 24: Line 24:
 ====== Services ====== ====== Services ======
   * Jenkins: http://sgrv3.php.net:8080/   * Jenkins: http://sgrv3.php.net:8080/
 +  * PEAR mirror: http://ie.pear.php.net/
  
 ====== Setup ====== ====== Setup ======
Line 31: Line 31:
   * PEAR: Manual via go-pear.phar   * PEAR: Manual via go-pear.phar
   * Jenkins: Via official jenkins deb page   * Jenkins: Via official jenkins deb page
 +
 +===== PEAR mirror =====
 +  * User: pearmirror
 +  * Cronjob every 4 hours that syncs files from pear.php.net
 +
  
systems/sgrv3.txt · Last modified: 2017/09/22 13:28 by 127.0.0.1