diff options
| author | 魏曹先生 <1992414357@qq.com> | 2026-03-19 21:38:00 +0800 |
|---|---|---|
| committer | 魏曹先生 <1992414357@qq.com> | 2026-03-19 21:38:00 +0800 |
| commit | e1f7bda5ab0c260c03d8789ed370d3adc89d5972 (patch) | |
| tree | a8d334b47df3183dd47b0b1ff170667d2e11a9ee /resources/helpdoc/commands/workspace/alias.en.md | |
| parent | 2e65a3f4afb97ba3fc4bcfce0bb5561c3a8408b4 (diff) | |
Add workspace alias command for ID mapping management
Diffstat (limited to 'resources/helpdoc/commands/workspace/alias.en.md')
| -rw-r--r-- | resources/helpdoc/commands/workspace/alias.en.md | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/resources/helpdoc/commands/workspace/alias.en.md b/resources/helpdoc/commands/workspace/alias.en.md new file mode 100644 index 0000000..50c9db9 --- /dev/null +++ b/resources/helpdoc/commands/workspace/alias.en.md @@ -0,0 +1,14 @@ +> Manage the `ID Aliases` for the _local workspace_ + +## Usage +jvn workspace alias <parameter: ?> +__ --insert <local_id> # Map local ID +__ --to <remote_id> # to remote ID + +__ --erase <local_id> # Delete mapping for local ID +__ --query <local_id> # Query remote ID for local ID + +## Aliases +__ -i <local_id> --to <remote_id> +__ -q <local_id> +__ -e <local_id> |