HTML generation: make the light theme lighter #3168
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
lukaszcz
changed the title
|
Could you add before and after screenshots in the PR? |
|
Before: Before: For me it was most annoying with the source code listing. I'm using light themes with my browser, and this was substantially darker and in my opinion the contrast between background and text was not enough. |
lukaszcz
force-pushed
the
html-docs-background
branch
from
eb9cc9b to
79cda02
Compare
|
I'm reluctant to change the values of |
|
Yes, they are. Let's just change the palette to some actually light theme? |
|
one option is to create a new theme |
lukaszcz
force-pushed
the
html-docs-background
branch
2 times, most recently
from
6aa16a4 to
fba1b42
Compare
paulcadman
force-pushed
the
html-docs-background
branch
from
fba1b42 to
3676128
Compare
lukaszcz
force-pushed
the
html-docs-background
branch
from
3676128 to
030621e
Compare
paulcadman
approved these changes
Nov 19, 2024
janmasrovira
added a commit
that referenced
this pull request
Nov 20, 2024
commit 267b34a Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Wed Nov 20 14:18:11 2024 +0100 give proper name of builtins commit d0dc415 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Wed Nov 20 14:09:37 2024 +0100 better error message commit ccd9044 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Wed Nov 20 11:27:05 2024 +0100 allow implicit args commit 768f45d Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Tue Nov 19 18:44:50 2024 +0100 stdlib commit e778aaf Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Tue Nov 19 18:29:00 2024 +0100 clean commit 17939c7 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Tue Nov 19 18:27:22 2024 +0100 update stdlib commit 46d7388 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Tue Nov 19 18:18:22 2024 +0100 pragmas commit 58d1063 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Tue Nov 19 18:09:23 2024 +0100 do not group deriving statements commit 057fdbb Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Tue Nov 19 15:14:31 2024 +0100 default case commit d280fe7 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Tue Nov 19 14:55:36 2024 +0100 fix commit e3a7a76 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Tue Nov 19 09:57:22 2024 +0100 from concrete commit f8fd9f4 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Mon Nov 18 18:45:20 2024 +0100 refactor Fail commit a889cb6 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Mon Nov 18 18:00:27 2024 +0100 wip commit 734f7c1 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Mon Nov 18 13:00:14 2024 +0100 wip commit 6a2d7d2 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Fri Nov 15 13:29:44 2024 +0100 parsing and printing deriving kw commit 412a654 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Fri Nov 15 12:52:11 2024 +0100 add deriving kw commit 1101462 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Fri Nov 15 12:51:18 2024 +0100 style commit 3aeec44 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Thu Nov 14 17:39:09 2024 +0100 remove section titles from parser commit 15ec17d Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Thu Nov 14 15:29:57 2024 +0100 update stdlib commit 546b5b2 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Thu Nov 14 11:27:04 2024 +0100 make Eq builtin commit 8658420 Author: Paul Cadman <git@paulcadman.dev> Date: Wed Nov 20 07:53:21 2024 +0000 Support running nockma code with a running Anoma client (#3180) This PR: 1. Adds a new interpretation for the Anoma effect, which makes gRPC calls to an existing Anoma client instead of spawning a new one. 2. Adds a new `nockma run` mode, `with-client`, which can be used to run an Anoma program against a running Anoma client, using its URL and gRPC port. 3. separates the `nockma run` command into subcommands. CLI docs: ## `nockma run` ``` Usage: juvix dev nockma run COMMAND Subcommands used to run an Anoma program. Use with artefacts obtained from compilation with the anoma target Available options: -h,--help Show this help text Available commands: builtin-evaluator Run with the builtin Nockma evaluator ephemeral-client Run with an ephemeral Anoma client with-client Run with a running Anoma client ``` ### `with-client` ``` Usage: juvix dev nockma run with-client NOCKMA_FILE [--args ARGS_FILE] (-p|--grpc-port PORT) [--url URL] Run with a running Anoma client Available options: NOCKMA_FILE Path to a .nockma file --args ARGS_FILE Path to file containing args. The args file should contain a list (i.e. to pass 2 and [1 4] as args, the contents should be [2 [1 4] 0]). -p,--grpc-port PORT The GRPC port of a running Anoma client --url URL The URL of a running Anoma client. default: localhost -h,--help Show this help text ``` ### `ephemeral-client` ``` Usage: juvix dev nockma run ephemeral-client NOCKMA_FILE [--args ARGS_FILE] --anoma-dir ANOMA_DIR Run with an ephemeral Anoma client Available options: NOCKMA_FILE Path to a .nockma file --args ARGS_FILE Path to file containing args. The args file should contain a list (i.e. to pass 2 and [1 4] as args, the contents should be [2 [1 4] 0]). --anoma-dir ANOMA_DIR Path to anoma repository -h,--help Show this help text ``` ### `builtin-evaluator` ``` Usage: juvix dev nockma run builtin-evaluator NOCKMA_FILE [--args ARGS_FILE] [--profile] Run with the builtin Nockma evaluator Available options: NOCKMA_FILE Path to a .nockma file --args ARGS_FILE Path to file containing args. The args file should contain a list (i.e. to pass 2 and [1 4] as args, the contents should be [2 [1 4] 0]). --profile Report evaluator profiling statistics -h,--help Show this help text ``` commit 455249d Author: Łukasz Czajka <62751+lukaszcz@users.noreply.github.com> Date: Tue Nov 19 20:34:52 2024 +0100 HTML generation: make the light theme lighter (#3168) * Closes #3141 * Adds the `latte-light` theme with lighter background and makes it the default. This is a bit subjective, but in my opinion the light theme should not have a background darker than the browser window pane. It should be close to white. commit eab02a7 Author: Paul Cadman <git@paulcadman.dev> Date: Tue Nov 19 17:34:13 2024 +0000 Remove `GetAnomaProcess` from the Anoma effect (#3179) This PR removes `GetAnomaProcess` from the Anoma effect. Use the `launchAnoma` function to start a persistent Anoma client / server (used by `juvix dev anoma node`). Other changes: * It's no longer necessary to pass the protobuf files to `grpcurl` because the Anoma client now supports gRPC reflection. * We pass the elixir start command to `mix` via `-e` argument instead of using a temporary file. The purpose for this change is that we I want to add an interpreter for Anoma that makes gRPC calls to an exisitng Anoma client. `GetAnomaProcess` has no meaning for this interpreter.
janmasrovira
added a commit
that referenced
this pull request
Nov 20, 2024
commit 267b34a Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Wed Nov 20 14:18:11 2024 +0100 give proper name of builtins commit d0dc415 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Wed Nov 20 14:09:37 2024 +0100 better error message commit ccd9044 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Wed Nov 20 11:27:05 2024 +0100 allow implicit args commit 768f45d Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Tue Nov 19 18:44:50 2024 +0100 stdlib commit e778aaf Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Tue Nov 19 18:29:00 2024 +0100 clean commit 17939c7 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Tue Nov 19 18:27:22 2024 +0100 update stdlib commit 46d7388 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Tue Nov 19 18:18:22 2024 +0100 pragmas commit 58d1063 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Tue Nov 19 18:09:23 2024 +0100 do not group deriving statements commit 057fdbb Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Tue Nov 19 15:14:31 2024 +0100 default case commit d280fe7 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Tue Nov 19 14:55:36 2024 +0100 fix commit e3a7a76 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Tue Nov 19 09:57:22 2024 +0100 from concrete commit f8fd9f4 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Mon Nov 18 18:45:20 2024 +0100 refactor Fail commit a889cb6 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Mon Nov 18 18:00:27 2024 +0100 wip commit 734f7c1 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Mon Nov 18 13:00:14 2024 +0100 wip commit 6a2d7d2 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Fri Nov 15 13:29:44 2024 +0100 parsing and printing deriving kw commit 412a654 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Fri Nov 15 12:52:11 2024 +0100 add deriving kw commit 1101462 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Fri Nov 15 12:51:18 2024 +0100 style commit 3aeec44 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Thu Nov 14 17:39:09 2024 +0100 remove section titles from parser commit 15ec17d Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Thu Nov 14 15:29:57 2024 +0100 update stdlib commit 546b5b2 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Thu Nov 14 11:27:04 2024 +0100 make Eq builtin commit 8658420 Author: Paul Cadman <git@paulcadman.dev> Date: Wed Nov 20 07:53:21 2024 +0000 Support running nockma code with a running Anoma client (#3180) This PR: 1. Adds a new interpretation for the Anoma effect, which makes gRPC calls to an existing Anoma client instead of spawning a new one. 2. Adds a new `nockma run` mode, `with-client`, which can be used to run an Anoma program against a running Anoma client, using its URL and gRPC port. 3. separates the `nockma run` command into subcommands. CLI docs: ## `nockma run` ``` Usage: juvix dev nockma run COMMAND Subcommands used to run an Anoma program. Use with artefacts obtained from compilation with the anoma target Available options: -h,--help Show this help text Available commands: builtin-evaluator Run with the builtin Nockma evaluator ephemeral-client Run with an ephemeral Anoma client with-client Run with a running Anoma client ``` ### `with-client` ``` Usage: juvix dev nockma run with-client NOCKMA_FILE [--args ARGS_FILE] (-p|--grpc-port PORT) [--url URL] Run with a running Anoma client Available options: NOCKMA_FILE Path to a .nockma file --args ARGS_FILE Path to file containing args. The args file should contain a list (i.e. to pass 2 and [1 4] as args, the contents should be [2 [1 4] 0]). -p,--grpc-port PORT The GRPC port of a running Anoma client --url URL The URL of a running Anoma client. default: localhost -h,--help Show this help text ``` ### `ephemeral-client` ``` Usage: juvix dev nockma run ephemeral-client NOCKMA_FILE [--args ARGS_FILE] --anoma-dir ANOMA_DIR Run with an ephemeral Anoma client Available options: NOCKMA_FILE Path to a .nockma file --args ARGS_FILE Path to file containing args. The args file should contain a list (i.e. to pass 2 and [1 4] as args, the contents should be [2 [1 4] 0]). --anoma-dir ANOMA_DIR Path to anoma repository -h,--help Show this help text ``` ### `builtin-evaluator` ``` Usage: juvix dev nockma run builtin-evaluator NOCKMA_FILE [--args ARGS_FILE] [--profile] Run with the builtin Nockma evaluator Available options: NOCKMA_FILE Path to a .nockma file --args ARGS_FILE Path to file containing args. The args file should contain a list (i.e. to pass 2 and [1 4] as args, the contents should be [2 [1 4] 0]). --profile Report evaluator profiling statistics -h,--help Show this help text ``` commit 455249d Author: Łukasz Czajka <62751+lukaszcz@users.noreply.github.com> Date: Tue Nov 19 20:34:52 2024 +0100 HTML generation: make the light theme lighter (#3168) * Closes #3141 * Adds the `latte-light` theme with lighter background and makes it the default. This is a bit subjective, but in my opinion the light theme should not have a background darker than the browser window pane. It should be close to white. commit eab02a7 Author: Paul Cadman <git@paulcadman.dev> Date: Tue Nov 19 17:34:13 2024 +0000 Remove `GetAnomaProcess` from the Anoma effect (#3179) This PR removes `GetAnomaProcess` from the Anoma effect. Use the `launchAnoma` function to start a persistent Anoma client / server (used by `juvix dev anoma node`). Other changes: * It's no longer necessary to pass the protobuf files to `grpcurl` because the Anoma client now supports gRPC reflection. * We pass the elixir start command to `mix` via `-e` argument instead of using a temporary file. The purpose for this change is that we I want to add an interpreter for Anoma that makes gRPC calls to an exisitng Anoma client. `GetAnomaProcess` has no meaning for this interpreter.
janmasrovira
added a commit
that referenced
this pull request
Nov 20, 2024
commit 267b34a Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Wed Nov 20 14:18:11 2024 +0100 give proper name of builtins commit d0dc415 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Wed Nov 20 14:09:37 2024 +0100 better error message commit ccd9044 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Wed Nov 20 11:27:05 2024 +0100 allow implicit args commit 768f45d Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Tue Nov 19 18:44:50 2024 +0100 stdlib commit e778aaf Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Tue Nov 19 18:29:00 2024 +0100 clean commit 17939c7 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Tue Nov 19 18:27:22 2024 +0100 update stdlib commit 46d7388 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Tue Nov 19 18:18:22 2024 +0100 pragmas commit 58d1063 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Tue Nov 19 18:09:23 2024 +0100 do not group deriving statements commit 057fdbb Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Tue Nov 19 15:14:31 2024 +0100 default case commit d280fe7 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Tue Nov 19 14:55:36 2024 +0100 fix commit e3a7a76 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Tue Nov 19 09:57:22 2024 +0100 from concrete commit f8fd9f4 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Mon Nov 18 18:45:20 2024 +0100 refactor Fail commit a889cb6 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Mon Nov 18 18:00:27 2024 +0100 wip commit 734f7c1 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Mon Nov 18 13:00:14 2024 +0100 wip commit 6a2d7d2 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Fri Nov 15 13:29:44 2024 +0100 parsing and printing deriving kw commit 412a654 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Fri Nov 15 12:52:11 2024 +0100 add deriving kw commit 1101462 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Fri Nov 15 12:51:18 2024 +0100 style commit 3aeec44 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Thu Nov 14 17:39:09 2024 +0100 remove section titles from parser commit 15ec17d Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Thu Nov 14 15:29:57 2024 +0100 update stdlib commit 546b5b2 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Thu Nov 14 11:27:04 2024 +0100 make Eq builtin commit 8658420 Author: Paul Cadman <git@paulcadman.dev> Date: Wed Nov 20 07:53:21 2024 +0000 Support running nockma code with a running Anoma client (#3180) This PR: 1. Adds a new interpretation for the Anoma effect, which makes gRPC calls to an existing Anoma client instead of spawning a new one. 2. Adds a new `nockma run` mode, `with-client`, which can be used to run an Anoma program against a running Anoma client, using its URL and gRPC port. 3. separates the `nockma run` command into subcommands. CLI docs: ## `nockma run` ``` Usage: juvix dev nockma run COMMAND Subcommands used to run an Anoma program. Use with artefacts obtained from compilation with the anoma target Available options: -h,--help Show this help text Available commands: builtin-evaluator Run with the builtin Nockma evaluator ephemeral-client Run with an ephemeral Anoma client with-client Run with a running Anoma client ``` ### `with-client` ``` Usage: juvix dev nockma run with-client NOCKMA_FILE [--args ARGS_FILE] (-p|--grpc-port PORT) [--url URL] Run with a running Anoma client Available options: NOCKMA_FILE Path to a .nockma file --args ARGS_FILE Path to file containing args. The args file should contain a list (i.e. to pass 2 and [1 4] as args, the contents should be [2 [1 4] 0]). -p,--grpc-port PORT The GRPC port of a running Anoma client --url URL The URL of a running Anoma client. default: localhost -h,--help Show this help text ``` ### `ephemeral-client` ``` Usage: juvix dev nockma run ephemeral-client NOCKMA_FILE [--args ARGS_FILE] --anoma-dir ANOMA_DIR Run with an ephemeral Anoma client Available options: NOCKMA_FILE Path to a .nockma file --args ARGS_FILE Path to file containing args. The args file should contain a list (i.e. to pass 2 and [1 4] as args, the contents should be [2 [1 4] 0]). --anoma-dir ANOMA_DIR Path to anoma repository -h,--help Show this help text ``` ### `builtin-evaluator` ``` Usage: juvix dev nockma run builtin-evaluator NOCKMA_FILE [--args ARGS_FILE] [--profile] Run with the builtin Nockma evaluator Available options: NOCKMA_FILE Path to a .nockma file --args ARGS_FILE Path to file containing args. The args file should contain a list (i.e. to pass 2 and [1 4] as args, the contents should be [2 [1 4] 0]). --profile Report evaluator profiling statistics -h,--help Show this help text ``` commit 455249d Author: Łukasz Czajka <62751+lukaszcz@users.noreply.github.com> Date: Tue Nov 19 20:34:52 2024 +0100 HTML generation: make the light theme lighter (#3168) * Closes #3141 * Adds the `latte-light` theme with lighter background and makes it the default. This is a bit subjective, but in my opinion the light theme should not have a background darker than the browser window pane. It should be close to white. commit eab02a7 Author: Paul Cadman <git@paulcadman.dev> Date: Tue Nov 19 17:34:13 2024 +0000 Remove `GetAnomaProcess` from the Anoma effect (#3179) This PR removes `GetAnomaProcess` from the Anoma effect. Use the `launchAnoma` function to start a persistent Anoma client / server (used by `juvix dev anoma node`). Other changes: * It's no longer necessary to pass the protobuf files to `grpcurl` because the Anoma client now supports gRPC reflection. * We pass the elixir start command to `mix` via `-e` argument instead of using a temporary file. The purpose for this change is that we I want to add an interpreter for Anoma that makes gRPC calls to an exisitng Anoma client. `GetAnomaProcess` has no meaning for this interpreter.
janmasrovira
added a commit
that referenced
this pull request
Nov 20, 2024
commit 267b34a Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Wed Nov 20 14:18:11 2024 +0100 give proper name of builtins commit d0dc415 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Wed Nov 20 14:09:37 2024 +0100 better error message commit ccd9044 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Wed Nov 20 11:27:05 2024 +0100 allow implicit args commit 768f45d Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Tue Nov 19 18:44:50 2024 +0100 stdlib commit e778aaf Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Tue Nov 19 18:29:00 2024 +0100 clean commit 17939c7 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Tue Nov 19 18:27:22 2024 +0100 update stdlib commit 46d7388 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Tue Nov 19 18:18:22 2024 +0100 pragmas commit 58d1063 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Tue Nov 19 18:09:23 2024 +0100 do not group deriving statements commit 057fdbb Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Tue Nov 19 15:14:31 2024 +0100 default case commit d280fe7 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Tue Nov 19 14:55:36 2024 +0100 fix commit e3a7a76 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Tue Nov 19 09:57:22 2024 +0100 from concrete commit f8fd9f4 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Mon Nov 18 18:45:20 2024 +0100 refactor Fail commit a889cb6 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Mon Nov 18 18:00:27 2024 +0100 wip commit 734f7c1 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Mon Nov 18 13:00:14 2024 +0100 wip commit 6a2d7d2 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Fri Nov 15 13:29:44 2024 +0100 parsing and printing deriving kw commit 412a654 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Fri Nov 15 12:52:11 2024 +0100 add deriving kw commit 1101462 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Fri Nov 15 12:51:18 2024 +0100 style commit 3aeec44 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Thu Nov 14 17:39:09 2024 +0100 remove section titles from parser commit 15ec17d Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Thu Nov 14 15:29:57 2024 +0100 update stdlib commit 546b5b2 Author: Jan Mas Rovira <janmasrovira@gmail.com> Date: Thu Nov 14 11:27:04 2024 +0100 make Eq builtin commit 8658420 Author: Paul Cadman <git@paulcadman.dev> Date: Wed Nov 20 07:53:21 2024 +0000 Support running nockma code with a running Anoma client (#3180) This PR: 1. Adds a new interpretation for the Anoma effect, which makes gRPC calls to an existing Anoma client instead of spawning a new one. 2. Adds a new `nockma run` mode, `with-client`, which can be used to run an Anoma program against a running Anoma client, using its URL and gRPC port. 3. separates the `nockma run` command into subcommands. CLI docs: ## `nockma run` ``` Usage: juvix dev nockma run COMMAND Subcommands used to run an Anoma program. Use with artefacts obtained from compilation with the anoma target Available options: -h,--help Show this help text Available commands: builtin-evaluator Run with the builtin Nockma evaluator ephemeral-client Run with an ephemeral Anoma client with-client Run with a running Anoma client ``` ### `with-client` ``` Usage: juvix dev nockma run with-client NOCKMA_FILE [--args ARGS_FILE] (-p|--grpc-port PORT) [--url URL] Run with a running Anoma client Available options: NOCKMA_FILE Path to a .nockma file --args ARGS_FILE Path to file containing args. The args file should contain a list (i.e. to pass 2 and [1 4] as args, the contents should be [2 [1 4] 0]). -p,--grpc-port PORT The GRPC port of a running Anoma client --url URL The URL of a running Anoma client. default: localhost -h,--help Show this help text ``` ### `ephemeral-client` ``` Usage: juvix dev nockma run ephemeral-client NOCKMA_FILE [--args ARGS_FILE] --anoma-dir ANOMA_DIR Run with an ephemeral Anoma client Available options: NOCKMA_FILE Path to a .nockma file --args ARGS_FILE Path to file containing args. The args file should contain a list (i.e. to pass 2 and [1 4] as args, the contents should be [2 [1 4] 0]). --anoma-dir ANOMA_DIR Path to anoma repository -h,--help Show this help text ``` ### `builtin-evaluator` ``` Usage: juvix dev nockma run builtin-evaluator NOCKMA_FILE [--args ARGS_FILE] [--profile] Run with the builtin Nockma evaluator Available options: NOCKMA_FILE Path to a .nockma file --args ARGS_FILE Path to file containing args. The args file should contain a list (i.e. to pass 2 and [1 4] as args, the contents should be [2 [1 4] 0]). --profile Report evaluator profiling statistics -h,--help Show this help text ``` commit 455249d Author: Łukasz Czajka <62751+lukaszcz@users.noreply.github.com> Date: Tue Nov 19 20:34:52 2024 +0100 HTML generation: make the light theme lighter (#3168) * Closes #3141 * Adds the `latte-light` theme with lighter background and makes it the default. This is a bit subjective, but in my opinion the light theme should not have a background darker than the browser window pane. It should be close to white. commit eab02a7 Author: Paul Cadman <git@paulcadman.dev> Date: Tue Nov 19 17:34:13 2024 +0000 Remove `GetAnomaProcess` from the Anoma effect (#3179) This PR removes `GetAnomaProcess` from the Anoma effect. Use the `launchAnoma` function to start a persistent Anoma client / server (used by `juvix dev anoma node`). Other changes: * It's no longer necessary to pass the protobuf files to `grpcurl` because the Anoma client now supports gRPC reflection. * We pass the elixir start command to `mix` via `-e` argument instead of using a temporary file. The purpose for this change is that we I want to add an interpreter for Anoma that makes gRPC calls to an exisitng Anoma client. `GetAnomaProcess` has no meaning for this interpreter.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
latte-lighttheme with lighter background and makes it the default. This is a bit subjective, but in my opinion the light theme should not have a background darker than the browser window pane. It should be close to white.