-
-
Notifications
You must be signed in to change notification settings - Fork 20
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.
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
Support for groups #12
Comments
This would be an awesome feature! |
Would be a great feature for teams working in one mono-repository. |
Would love support for groups! |
In order to not break existing configs, I'd propose a key like {
"name": "This Terminal"
"runWith": ["Other Terminal 1", "OT2"]
} If |
The workaround I came up with requires adding a keybinding. See here: #82 (comment) |
We should add support for groups, this would allow us to group some terminals together. The benefits are better organization and the ability to run more than one terminal, but not all of them, at the same time.
The quickpick would look something similar to this (Gif taken from Projects+):
The text was updated successfully, but these errors were encountered: