Skip to content
This repository was archived by the owner on Dec 27, 2022. It is now read-only.
Discussion options

You must be logged in to vote

Yeah one other thing you can do right now is close and re-open webterm.

It would not be hard to add a command which reloads the environment. Maybe "commands reload" ?

Replies: 1 comment 2 replies

Comment options

You must be logged in to vote
2 replies
@pfrazee
Comment options

@matthewauld
Comment options

Answer selected by matthewauld
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
2 participants