🎉 v4.9.0: Add, Edit, Remove servers from UI #97
Pinned
ravitemer
announced in
Announcements
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
Hi guys! This is something that should have been in the plugin long back. This makes editing servers.json easy. You never need to manually edit the config file anymore - all operations can be done right from the UI!
Adding Servers : In the main view press 'A' to open an editor and paste server config JSON there.
JSON should be valid. Can be of three types:
Editing: 'e' on a server opens up the editor. on 'cr' server restarts if there are any significant changes.
Renaming: 'e' to open the editor and change the server key.
Deleting : 'd' asks for confirmation which stops and removes the server from the config
Adding from Marketplace
Added an option for Manual installation in market place. You can also select the JSON part from the README of the server in the marketplace and use 'a' to add that to the editor.
Beta Was this translation helpful? Give feedback.
All reactions