JenkinsサーバへアクセスするURLにプレフィックスを追加してみました． これにより，例えば http://server_addr:30000/を次のようにできます． http://server_addr:30000/jenkins 手順 /etc/default/jenkins を編集．JENKINS_ARGS に次のオプションを追加し…

Jenkinsは既定の設定では通信路が暗号化されていませんので，HTTPS接続のみで受け付けるように設定してみました． 手順 /etc/default/jenkins を編集．ここではポート番号として30000番を使うことにした場合の設定内容を示します． HTTP_PORT=-1 HTTPS_PORT=…

Jenkinsとは継続的インテグレーション(Continuous Integration, CI)のためのツールとして有名です．継続的インテグレーションとは何かという話はさておき，Jenkinsを使うことでコンパイル，テスト実行，パッケージング，デプロイ等の開発作業を自動化するこ…