unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-22 07:48:10 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #2062 from unisonweb/topic/--old-codebase-help

Browse Source 
add something to `ucm help` for `--old-codebase`
This commit is contained in:
Paul Chiusano 2021-06-02 15:05:08 -05:00 committed by GitHub
commit dd706f19bb
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
parser-typechecker/unison/Main.hs
View File

@ -64,6 +64,9 @@ usage executableStr = P.callout "🌻" $ P.lines [
P.bold $ executable <> " -codebase path/to/codebase",
P.wrap "Starts Unison interactively, using the specified codebase. This flag can also be set before any of the below commands.",
"",
P.bold $ executable <> " --old-codebase",
P.wrap $ "Starts Unison using a v1 codebase. This flag can also be set before any of the below commands.",
"",
P.bold $ executable <> " run .mylib.mymain",
P.wrap "Executes the definition `.mylib.mymain` from the codebase, then exits.",
"",