dsh-temporary-workspace

Configuration

root is the parent for isolated temporary Session directories:

- insert:
    - id: temporary-workspace
      name: dsh-temporary-workspace
      config:
        root: !!js dshHomePath('temporary-workspaces')
        reservationRetentionMs: 3600000

The default is $DSH_HOME/temporary-workspaces, normally ~/.dsh/temporary-workspaces. It can be edited live under Settings → Plugins → Temporary Workspace. A new root affects future creation and the contributed group matcher; existing Sessions, Workspaces, and files are not migrated or deleted.

The Settings namespace is temporary-workspace. reservationRetentionMs is the grace for an unadopted crash-window reservation: one hour by default, with a one-minute minimum.