Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
"Workspace" in location mode #643
I actually do not know how common this is, but I often need to work with multiple "workspace" directories that have almost identical layouts. In fact they are just clones of the same repo.
The location mode is less useful when I need to constantly switch between workspaces. Assume that I am a Linux kernel guru who keeps multiple clones of kernel in
There is a quite simple (at least API-wise) solution to the problem. Allow users to define multiple workspace patterns, each associated with a workspace type. The configuration can look like
The pattern affect the behavior of the location mode in two ways: