You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When users press Enter with a script selected, we should pop open an editor that's prefilled with ./scripts/<selected name>, that shows the --help output, and that allows submitting the command on ctrl+Enter or something similar.
stdout can be thrown away for now until I verify that this whole plan even works.
The text was updated successfully, but these errors were encountered:
brick
has an example of a simple editor: https://github.com/jtdaugherty/brick/blob/master/programs/EditDemo.hsWhen users press
Enter
with a script selected, we should pop open an editor that's prefilled with./scripts/<selected name>
, that shows the--help
output, and that allows submitting the command onctrl+Enter
or something similar.stdout can be thrown away for now until I verify that this whole plan even works.
The text was updated successfully, but these errors were encountered: