Jenkinsの起動ポートを変える方法

ちょっと調べないとわからなかったので、メモの意味で残します。

現状自分は LinuxMint を利用していますが、ベースは Ubuntu なので、
以下のインストールから起動までは以下の書籍が役に立ちます。(ステマ)

Jenkins はインストール直後では 8080版ポートで起動しているようです。
割とこのポートは使うので変えたい。

設定を変えるためには /etc/default/jenkins を開いて、
HTTP_PORT という設定を見つけます。

初期設定では、 HTTP_PORT=8080 となっていると思います。
適宜好きなポート番号に変更しましょう。

変更後は以下のコマンドで Jenkins を再起動します。

$ sudo service jenkins restart