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.

Sign up for GitHub

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

Jump to bottom

Refactor CLI #1406

Closed
jonaprieto opened this issue Jul 21, 2022 · 1 comment · Fixed by #1527
Closed

Refactor CLI #1406

jonaprieto opened this issue Jul 21, 2022 · 1 comment · Fixed by #1527
Assignees
@janmasrovira
Labels
bug CLI
Milestone
0.2.5

Comments

@jonaprieto
Copy link
Collaborator

The filepath option [JUVIX_FILE] is missing in several commands.
@jonaprieto jonaprieto added this to the 0.2.3 milestone Jul 21, 2022
@jonaprieto jonaprieto modified the milestones: 0.2.3, 0.2.4 Aug 5, 2022
@jonaprieto jonaprieto modified the milestones: 0.2.4, 0.2.5 Aug 19, 2022
@jonaprieto
Copy link
Collaborator Author

There are some global options that do not apply to certain commands (e.g.no termination for the doctor's command).

@janmasrovira janmasrovira linked a pull request Sep 9, 2022 that will close this issue
Refactor CLI #1527
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@janmasrovira janmasrovira

Labels
bug CLI
Projects
None yet
Milestone
0.2.5
Development

Successfully merging a pull request may close this issue.

Refactor CLI anoma/juvix
2 participants
@jonaprieto @janmasrovira