@getpaseo/protocol 0.1.96 → 0.1.97-beta.1
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/dist/agent-title-limits.d.ts +0 -1
- package/dist/agent-title-limits.js +0 -1
- package/dist/messages.d.ts +13258 -5199
- package/dist/messages.js +136 -0
- package/dist/paseo-config-schema.d.ts +0 -147
- package/dist/paseo-config-schema.js +2 -1
- package/dist/terminal-activity.d.ts +22 -0
- package/dist/terminal-activity.js +25 -0
- package/dist/terminal-subscription-key.d.ts +2 -0
- package/dist/terminal-subscription-key.js +9 -0
- package/package.json +1 -1
|
@@ -0,0 +1,9 @@
|
|
|
1
|
+
// A terminal directory subscription is scoped to a (cwd, workspaceId) pair, not
|
|
2
|
+
// cwd alone: under Model B two workspaces can share a cwd, and each must track
|
|
3
|
+
// and tear down its own live subscription without disturbing the other. An
|
|
4
|
+
// absent workspaceId (old clients) keys to the cwd on its own. The `::`
|
|
5
|
+
// separator cannot collide with a workspace id, which is always `wks_<hex>`.
|
|
6
|
+
export function terminalSubscriptionKey(cwd, workspaceId) {
|
|
7
|
+
return workspaceId === undefined ? cwd : `${workspaceId}::${cwd}`;
|
|
8
|
+
}
|
|
9
|
+
//# sourceMappingURL=terminal-subscription-key.js.map
|