dsh-remote 0.8.12 → 0.8.13
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/lib/client.js +7 -2
- package/package.json +1 -1
package/lib/client.js
CHANGED
|
@@ -1957,8 +1957,13 @@ window.__ModuleLoader__.load({
|
|
|
1957
1957
|
const slots = ctx.get('slots')
|
|
1958
1958
|
if (slots === undefined) return
|
|
1959
1959
|
wireLocale(ctx)
|
|
1960
|
-
|
|
1961
|
-
|
|
1960
|
+
// Issue #26: on dsh 0.1.2-rc.1+ the cordis ctx proxy throws
|
|
1961
|
+
// "cannot get property \"workspaces\" without inject" on ANY bare property
|
|
1962
|
+
// read of an undeclared/unavailable service. ctx.get(name) stays an
|
|
1963
|
+
// optional lookup that returns undefined instead of throwing, so never
|
|
1964
|
+
// fall back to ctx.<name> property access — keep it purely optional.
|
|
1965
|
+
WORKSPACES = (ctx && ctx.get && ctx.get('workspaces')) || null
|
|
1966
|
+
SESSIONS = (ctx && ctx.get && ctx.get('sessions')) || null
|
|
1962
1967
|
slots.inject('settings.section', () =>
|
|
1963
1968
|
slots.register({ name: 'settings.section', id: 'dsh-remote', priority: 40, label: () => tr('settings.title') }, () => React.createElement(RemoteWorkspacePage, null)),
|
|
1964
1969
|
)
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "dsh-remote",
|
|
3
|
-
"version": "0.8.
|
|
3
|
+
"version": "0.8.13",
|
|
4
4
|
"description": "Remote-work assistant for DeepSeek Harness: connect SSH (password/key/agent/keyboard-interactive/proxy jump), pick a remote workspace, operate on it with 21 rw_* tools (incl. rw_edit/rw_stat/rw_mkdir/rw_remove/rw_move/rw_forward), conflict-aware mirror sync, port forwarding, side-bar remote file editing, audit log, keychain passwords.",
|
|
5
5
|
"license": "MIT",
|
|
6
6
|
"author": "flymysql <flyphp@outlook.com>",
|