diff options
| author | Brian Ashworth <bosrsf04@gmail.com> | 2018-12-17 02:00:50 -0500 |
|---|---|---|
| committer | emersion <contact@emersion.fr> | 2018-12-17 16:25:44 +0100 |
| commit | 5f25541022fb19a170360536985a0b200a01277a (patch) | |
| tree | 1ce6f24ccc65b0771c6e7b6b3309b32c6c109d46 /include | |
| parent | eb527ac01ad7e3255b757d620bc678a834a3958a (diff) | |
Allow output ids and wildcard for workspace output
This allows for output identifiers and to be used in the `workspace
<workspace> output <outputs...>` command. Previously, only output names
would be allowed. If an output identifier was given, it would never match
an output. This also allows for the wildcard character (`*`) to be
specified, which can be used to generate a list of workspace names that
should be used when generating new workspaces
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions