mirror of
https://github.com/ChristianLight/tutor.git
synced 2024-12-13 14:43:03 +00:00
Handle command errors and ctrl+d commands in UI
This commit is contained in:
parent
0d2c08f8e8
commit
63a633b3fc
@ -2,6 +2,7 @@
|
|||||||
|
|
||||||
## Latest
|
## Latest
|
||||||
|
|
||||||
|
- [Improvement] Error and interrupt handling in UI and web UI
|
||||||
- [Bugfix] Fix missing webui env directory
|
- [Bugfix] Fix missing webui env directory
|
||||||
|
|
||||||
## 3.1.0 (2019-03-09)
|
## 3.1.0 (2019-03-09)
|
||||||
|
@ -9,5 +9,10 @@ def ui():
|
|||||||
click.echo("""Welcome to the Tutor interactive shell UI!
|
click.echo("""Welcome to the Tutor interactive shell UI!
|
||||||
Type "help" to view all available commands.
|
Type "help" to view all available commands.
|
||||||
Type "local quickstart" to configure and launch a new platform from scratch.
|
Type "local quickstart" to configure and launch a new platform from scratch.
|
||||||
""")
|
Type <ctrl-d> to exit.""")
|
||||||
|
while True:
|
||||||
|
try:
|
||||||
click_repl.repl(click.get_current_context())
|
click_repl.repl(click.get_current_context())
|
||||||
|
return # this happens on a ctrl+d
|
||||||
|
except Exception:
|
||||||
|
pass
|
||||||
|
Loading…
Reference in New Issue
Block a user