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

Port meta commands from genie to here #5

Open
george1459 opened this issue Feb 14, 2023 · 0 comments
Open

Port meta commands from genie to here #5

george1459 opened this issue Feb 14, 2023 · 0 comments
Labels
enhancement New feature or request

Comments

@george1459
Copy link
Collaborator

george1459 commented Feb 14, 2023 •
edited

Feature request:

(1) port clean dialog (-d restart clean) to here (Done)
(2) Install genie-toolkit at install time. Tie genie-toolkit version with pyGenieScript (CI is probably the solution for pyGenieScript releases)
(3) allow developers to put "proposed" items on the dialog state
(4) link genie-toolkit version with pyGenieScript version (Done)
@george1459 george1459 added the enhancement New feature or request label Feb 14, 2023
george1459 added a commit that referenced this issue Feb 14, 2023
@george1459
support for .clean() #5
db8b6b6
@george1459 george1459 mentioned this issue Feb 14, 2023
Merged
george1459 added a commit that referenced this issue Mar 16, 2023
@george1459
Merge pull request #13 from stanford-oval/dev
b9ddbea 
feature request for #12 and #5 (4)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@george1459