如何更改“yesod devel”使用的设置(例如端口)?

时间:2014-06-30 07:41:47

标签: yesod

我知道我可以将端口号放在config/settings.yml中,但在运行yesod devel时似乎会忽略它们。

1 个答案:

答案 0 :(得分:6)

您想使用-p选项。更一般地说:

$ yesod devel --help
Usage: yesod devel [-d|--disable-api] [-s|--success-hook COMMAND]
                   [-f|--failure-hook COMMAND] [-t|--event-timeout N]
                   [-b|--builddir ARG] [-i|--ignore DIR]
                   [-e|--extra-cabal-arg ARG] [-p|--port N]
                   [-x|--proxy-timeout N] [-n|--disable-reverse-proxy]
                   [-c|--interrupt-only]
  Run project with the devel server

Available options:
  -d,--disable-api         Disable fast GHC API rebuilding
  -s,--success-hook COMMAND
                           Run COMMAND after rebuild succeeds
  -f,--failure-hook COMMAND
                           Run COMMAND when rebuild fails
  -t,--event-timeout N     Force rescan of files every N seconds
  -b,--builddir ARG        Set custom cabal build directory, default `dist'
  -i,--ignore DIR          ignore file changes in DIR
  -e,--extra-cabal-arg ARG pass extra argument ARG to cabal
  -p,--port N              Devel server listening port
  -x,--proxy-timeout N     Devel server timeout before returning 'not ready'
                           message (in seconds, 0 for none)
  -n,--disable-reverse-proxy
                           Disable reverse proxy
  -c,--interrupt-only      Disable exiting when enter is pressed