- 支持通过 cordis.patch.yml 指定终端 shell - 支持 shellArgs 带参启动终端 shell - 终端标题改用 shell 名,内部使用 uuid 管理
35 lines
1.4 KiB
YAML
35 lines
1.4 KiB
YAML
# dsh-better-sidebar bundle patch
|
|
#
|
|
# This file is the `dsh.bundle.patch` layer of the published npm package: when
|
|
# the plugin is installed through the official CLI —
|
|
#
|
|
# dsh plugin --profile <name> add dsh-better-sidebar@<version>
|
|
#
|
|
# — the command reconciles `dsh.profile.bundles` against installed packages
|
|
# and, seeing this declaration, appends `dsh-better-sidebar` to the bundle
|
|
# stack. The profile boot then merges THIS patch (a single `insert` of the
|
|
# plugin row) exactly like the manual cordis.patch.yml mount line used
|
|
# before. No profile file edits needed — one command installs and mounts.
|
|
#
|
|
# If the profile still carries the old manual mount line in its own
|
|
# cordis.patch.yml, remove it before switching to the bundle channel to
|
|
# avoid double-mounting (two Node halves, two sidebars).
|
|
#
|
|
# To choose the terminal shell, add `config.shell` to the inserted plugin
|
|
# row (or to the profile's manual cordis.patch.yml mount line). When omitted,
|
|
# the host keeps resolving $SHELL / the login shell / powershell.exe.
|
|
# `config.shellArgs` optionally supplies explicit startup arguments; when
|
|
# non-empty they replace the automatic POSIX `-l` login flag:
|
|
#
|
|
# - insert:
|
|
# - id: better-sidebar
|
|
# name: 'dsh-better-sidebar'
|
|
# config:
|
|
# shell: /bin/zsh
|
|
# shellArgs:
|
|
# - --noprofile
|
|
# - --no-rc
|
|
- insert:
|
|
- id: better-sidebar
|
|
name: 'dsh-better-sidebar'
|