JenkinsのURLにプレフィックスを追加

JenkinsサーバへアクセスするURLにプレフィックスを追加してみました．
これにより，例えば

http://server_addr:30000/

を次のようにできます．

http://server_addr:30000/jenkins

手順

• /etc/default/jenkins を編集．JENKINS_ARGS に次のオプションを追加します．

--prefix=/jenkins