Plugin

Pannello Git stile IDE nella Web GUI DSH: una scheda residente con panoramica a tre colonne (elenco branch/tag, grafico della cronologia commit ricercabile, dettaglio commit con albero dei file modificati e messaggio) e una pagina modifiche (barra delle statistiche, elenco uncommitted con stage/unstage/discard per file, casella di commit con amend); i diff affiancati hanno evidenziazione della sintassi lazy highlight.js, espansione del contesto tra blocchi on-demand ed enfasi intra-riga a livello di parola, con i file immagine mostrati come pannelli before/after; più un marker di branch stile zsh nella barra di input. Ogni comando git viene eseguito come array argv tramite il servizio subprocess dell'host, con cwd bloccato sulla root del repo.

Deep PTC mode: preset open source per DeepSeek Harness, mantiene strumenti PTC e definisce un contratto: identità DeepSeek, istruzione al modello di budget token illimitato per non saltare letture/comandi/verifiche, piano per dimensione (≤5 min interno; fino a 20 min mostrati senza approvazione; oltre serve approvazione) e domande se l’intento è ambiguo. Limita attese avvolgendo shell/job/question ufficiali: comandi foreground diventano job dopo 30 s (configurabile); messaggio steering termina l’attesa per essere letto; rifiuta pause foreground >5 s e timer lunghi in run_code; domande temporizzate. Deriva dal PTC ufficiale installato ed eredita cambi upstream, anche moduli rimossi/rinominati, senza rompere sessioni. Executor: Automatic, WSL Bash, Windows PowerShell, native Zsh/Bash.

One DSH tool that runs a command on any execution surface the machine has -- WSL, MSYS2, Git Bash, PowerShell, nushell, interpreters, throwaway containers, ssh, real terminal windows and a real console -- and reports the version each one gives and the capabilities it has.

Pannello Git laterale DSH Web: Local Changes/All Commits, gestione branch/tag/stash, dialoghi fetch/pull/push, merge con conflitti e marker branch stile zsh nell’input.

Terminale web richiudibile ancorato a destra (xterm.js), collegato al PTY host via WebSocket: cambio bash/zsh e pannello ridimensionabile; chiuderlo o riaprirlo mantiene attiva la sessione.