「Jenkins URL」の設定はどこに保存されますか? 質問する

Jenkins をインストールする Puppet スクリプトの一部として、デフォルト以外の URL を設定しようとしています。Web UI で値を編集する方法はわかっていますが、値が実際に保存されている場所が見つからないようです。jenkins_home フォルダーと apache を調べましたが、まだ見つかりません。