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 | |
| parent | 2e65a3f4afb97ba3fc4bcfce0bb5561c3a8408b4 (diff) | |
Add workspace alias command for ID mapping management
Diffstat (limited to 'resources/helpdoc')
| -rw-r--r-- | resources/helpdoc/commands/workspace/alias.en.md | 14 | ||||
| -rw-r--r-- | resources/helpdoc/commands/workspace/alias.zh-CN.md | 12 |
2 files changed, 26 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> diff --git a/resources/helpdoc/commands/workspace/alias.zh-CN.md b/resources/helpdoc/commands/workspace/alias.zh-CN.md new file mode 100644 index 0000000..06efe7c --- /dev/null +++ b/resources/helpdoc/commands/workspace/alias.zh-CN.md @@ -0,0 +1,12 @@ +> 管理_本地工作区_的 `ID 映射表` + +## 使用 +jvn workspace alias <参数: ?> +__ --insert <本地ID> --to <远程ID> # 建立本地到远程ID的映射 +__ --erase <本地ID> # 擦除本地ID指向的映射 +__ --query <本地ID> # 查询本地ID指向的远程ID + +## 别名 +__ -i <本地ID> --to <远程ID> +__ -q <本地ID> +__ -e <本地ID> |