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

Interface improvements #11

Merged

pygrum merged 3 commits into main from interface-improvements

Dec 9, 2023

Owner

pygrum commented Dec 9, 2023

Features

RPC endpoints for stage management commands
Session locking and unlocking
Necessary console completions for commands

pygrum added 3 commits

December 9, 2023 21:08


          session locking and unlocking

e7f6cec


          added remote stage mgmt for clients

8bb5eb2


          added carapace completion for commands, lost highlighted commands due…

9e87ece

… to console downgrade :(((

pygrum merged commit 9e87ece into main

3 checks passed

pygrum deleted the interface-improvements branch

December 9, 2023 23:49

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet