Creating workspaces with arbitrary IDs #1267
Unanswered
BatmanAoD
asked this question in
feature-ideas
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.
Uh oh!
There was an error while loading. Please reload this page.
-
Original discussion: #1250
I would like a way to create a workspace with an arbitrary ID, rather than hardcoding the possible workspace IDs in my configuration. This would also require some way to navigate to the newly-created workspaces.
Here's what I have in my configuration now:
This enables creating a new workspace with an ID based on the number of existing workspaces plus one, and then navigating through all workspaces without knowing what their IDs are.
It would be nice if these were built-in commands rather than complex
exec-and-forgets.Beta Was this translation helpful? Give feedback.
All reactions