Jenkinsのポート変更(Ubuntu 20.04)

少しはまったのでメモ

結論

sudo systemctl start jenkins

のような形で起動している場合
/usr/lib/systemd/system/jenkins.service
を編集する必要がある

Environment="JENKINS_PORT=8080"

の部分のポートを変更する。

sudo vi /usr/lib/systemd/system/jenkins.service
sudo systemctl daemon-reload
sudo systemctl restart jenkins

ダメだった方法

/etc/default/jenkins
を編集する。
検索すると出てくる方法で、何かこれを変更すれば反映しそうな雰囲気があるファイルだが、自分の環境ではきかなかった。