Yesodアプリを実行ファイルから3000ポート以外で起動させたい

Question

実現したいこと

Yesodアプリを実行ファイルから3000ポート以外で起動させたい

発生している問題・分からないこと

Yesodアプリを実行ファイルから3000ポート以外（3002）で起動させたい。
コマンドで起動するのであればstack exec -- yesod devel --port=3002で3002番ポートで起動するのですが、実行ファイル（ここではyesodapp1）から起動する場合に./yesodapp1 --port=3002としてもエラーになります。

またyesodapp1/config/setting.ymlという設定ファイルがあるのですが、この設定ファイルのport: "_env:YESOD_PORT:3000"という部分をport: "_env:YESOD_PORT:3002"に修正してもポートを変更できません。

該当のソースコード

# Values formatted like "_env:YESOD_ENV_VAR_NAME:default_value" can be overridden by the specified environment variable.
# See https://github.com/yesodweb/yesod/wiki/Configuration#overriding-configuration-values-with-environment-variables

static-dir:     "_env:YESOD_STATIC_DIR:static"
host:           "_env:YESOD_HOST:*4" # any IPv4 host
port:           "_env:YESOD_PORT:3002" # NB: The port `yesod devel` uses is distinct from this value. Set the `yesod devel` port from the command line.
# For `keter` user, enable the follwing line, and comment out previous one.
#port:           "_env:PORT:3000" # `keter` uses `PORT` env var name

ip-from-header: "_env:YESOD_IP_FROM_HEADER:false"

# Default behavior: determine the application root from the request headers.
# Uncomment to set an explicit approot
#approot:        "_env:YESOD_APPROOT:http://localhost:3000"

# By default, `yesod devel` runs in development, and built executables use
# production settings (see below). To override this, use the following:
#
# development: false

# Optional values with the following production defaults.
# In development, they default to the inverse.
#
# development: false
# detailed-logging: false
# should-log-all: false
# reload-templates: false
# mutable-static: false
# skip-combining: false

copyright: Insert copyright statement here
#analytics: UA-YOURCODE

試したこと・調べたこと

• teratailやGoogle等で検索した
• ソースコードを自分なりに変更した
• 知人に聞いた
• その他

上記の詳細・結果

他にも上記設定ファイルyesodapp1/config/setting.ymlにある、port: "_env:YESOD_PORT:3000"というコードを下記のように変更してみましたが結果は変わりませんでした。
port: "3002"
port: 3002

また環境変数YESOD_PORTをexport YESOD_PORT=3002のようにして実行してみましたが、結果は変わりませんでした。

ご教示よろしくお願いします。　

補足

stack --version Version 2.9.1, Git revision 409d56031b4240221d656db09b2ba476fe6bb5b1 (dirty) (8983 commits) x86_64

ホストPC：Windows10
ゲストPC：VirtualBox（ArchLinux）

Answer 1

上記設定ファイルyesodapp1/config/settings.ymlのコメントアウトされていた
#port: "_env:PORT:3000" をport: "_env:PORT:3002" に、
#approot: "_env:YESOD_APPROOT:http://localhost:3000"をapproot: "_env:YESOD_APPROOT:http://localhost:3002"に変更しビルド後、実行ファイル（yesodapp1/.stack-work/dist/x86_64-linux-tinfo6/Cabal-3.6.3.0/build/yesodapp1/yesodapp1）を動かすと3002番ポートで起動しました。

お騒がせしました。