如何更改“yesod devel"使用的设置(例如，端口)? [英] how can I change the settings (e.g., port) used by "yesod devel"?

问题描述

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

I know I can put port numbers in config/settings.yml but they seem to be ignored when running yesod devel.

推荐答案

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

You want to use the -p option. More generally:

$ 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

这篇关于如何更改“yesod devel"使用的设置(例如，端口)?的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！