Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add global config for --offline #3024

Open
Gedochao opened this issue Jul 12, 2024 Discussed in #3023 · 0 comments · May be fixed by #3216
Open

Add global config for --offline #3024

Gedochao opened this issue Jul 12, 2024 Discussed in #3023 · 0 comments · May be fixed by #3216
Assignees
Labels
config Issues tied to the config sub-command. enhancement New feature or request isolated environments Issues tied with running the CLI in isolated (or corporate) environments.

Comments

@Gedochao
Copy link
Contributor

Discussed in #3023

Originally posted by halloleo July 12, 2024
I need to run scala-cli as

scala-cli --power --offline

because my machine is not on the internet.

The option --power I can add with

$ scala-cli config power true

as a default option which is great.

I tried the same for --offline:

$ scala-cli config offline true

but here I get "Error: unrecognized key offline".

How can I add --offline to the default config?

Also, is there a way to suppress the informational output:

The --offline option is experimental
Please bear in mind that non-ideal user experience should be expected.
If you encounter any bugs or have feedback to share, make sure to reach out to the maintenance team at https://github.com/VirtusLab/scala-cli

@Gedochao Gedochao added enhancement New feature or request config Issues tied to the config sub-command. labels Jul 12, 2024
@Gedochao Gedochao self-assigned this Jul 12, 2024
@Gedochao Gedochao added the isolated environments Issues tied with running the CLI in isolated (or corporate) environments. label Jul 12, 2024
@Gedochao Gedochao moved this from To do to In progress in Issue Board Jul 15, 2024
@Gedochao Gedochao moved this from In progress to To do in Issue Board Sep 11, 2024
@Gedochao Gedochao linked a pull request Sep 30, 2024 that will close this issue
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
config Issues tied to the config sub-command. enhancement New feature or request isolated environments Issues tied with running the CLI in isolated (or corporate) environments.
Projects
Status: To do
1 participant