urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-01 06:35:32 +03:00
Code Issues Packages Projects Releases Wiki Activity

king: fixes --serf worker-path cli parser

Browse Source
This commit is contained in:
Joe Bryan 2020-06-25 11:37:09 -07:00
parent 81ff98c5d4
commit 6e9f8ec34b
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkg/hs/urbit-king/lib/Urbit/King/CLI.hs
View File

@ -275,7 +275,7 @@ opts = do
oSerfExe <-
optional
$ option auto
$ strOption
$ metavar "PATH"
<> long "serf"
<> help "Path to Serf"