!Jenkinsのインストール
さくらのVPS上で動かしているCentOS 7.6にJenkinsをインストール．
 sudo wget -O /etc/yum.repos.d/jenkins.repo http://pkg.jenkins-ci.org/redhat/jenkins.repo
 sudo yum update
 sudo yum install java
 sudo yum install jenkins
ApacheのHTTPSの下で動かしたいので，/etc/sysconfig/jenkins で，
 JENKINS_ARGS="--prefix=/jenkins/ --httpPort=8080"
と設定．Apache側は，/etc/httpd/conf.d/wasamon_net.conf で，
  <Location /jenkins>
   ProxyPass http://localhost:8080/jenkins nocanon
   ProxyPassReverse http://localhost:8080/jenkins
   Header edit Location ^http:// https://
  </Location>
と．

!帰国
香港2時発，成田8時着の飛行機で帰国．
飛行機や電車で寝たつもりだったけど，
眠くてまともな考えごとはできなかった...残念．