Skip to content

Terminale Integrato

VMark include un pannello terminale integrato per eseguire comandi senza lasciare l'editor.

Premi Ctrl + ` per attivare/disattivare il pannello terminale.

Sessioni

Il terminale supporta fino a 5 sessioni concorrenti, ognuna con il proprio processo shell. Una barra delle schede verticale sul lato destro mostra le schede delle sessioni numerate.

AzioneCome
Nuova sessioneFai clic sul pulsante +
Cambia sessioneFai clic su un numero di scheda
Chiudi sessioneFai clic sull'icona cestino
Riavvia shellFai clic sull'icona riavvia

Quando chiudi l'ultima sessione, il pannello si nasconde ma la sessione rimane attiva — riapri con Ctrl + ` e sei dove hai lasciato. Se un processo shell termina, premi qualsiasi tasto per riavviarlo.

Scorciatoie da Tastiera

Queste scorciatoie funzionano quando il pannello terminale è in focus:

AzioneScorciatoia
CopiaMod + C (con selezione)
IncollaMod + V
CancellaMod + K
CercaMod + F
Attiva/disattiva TerminaleCtrl + `

TIP

Mod + C senza una selezione di testo invia SIGINT al processo in esecuzione — uguale a premere Ctrl+C in un terminale normale.

Ricerca

Premi Mod + F per aprire la barra di ricerca. Digita per cercare in modo incrementale nel buffer del terminale.

AzioneScorciatoia
Corrispondenza successivaInvio
Corrispondenza precedenteShift + Invio
Chiudi ricercaEscape

Clic destro all'interno del terminale per accedere a:

  • Copia — copia il testo selezionato (disabilitato quando niente è selezionato)
  • Incolla — incolla dagli appunti nella shell
  • Seleziona Tutto — seleziona l'intero buffer del terminale
  • Cancella — cancella l'output visibile

Collegamenti Cliccabili

Il terminale rileva due tipi di collegamenti nell'output dei comandi:

  • URL web — fai clic per aprire nel tuo browser predefinito
  • Percorsi file — fai clic per aprire il file nell'editor (supporta suffissi :riga:colonna e percorsi relativi risolti rispetto alla radice del workspace)

Ambiente Shell

VMark imposta queste variabili d'ambiente in ogni sessione del terminale:

VariabileValore
TERM_PROGRAMvmark
EDITORvmark
VMARK_WORKSPACEPercorso radice del workspace (quando una cartella è aperta)
PATHPATH completo della shell di login (uguale al terminale di sistema)

Il terminale integrato eredita il PATH della shell di login, quindi gli strumenti CLI come node, claude e altri binari installati dall'utente sono accessibili — proprio come in una finestra terminale normale.

La shell viene letta da $SHELL (ricade su /bin/sh). La directory di lavoro inizia alla radice del workspace, o alla directory padre del file attivo, o $HOME.

Le scorciatoie shell standard come Ctrl+R (ricerca cronologia inversa in zsh/bash) funzionano quando il terminale è in focus — non vengono intercettate dall'editor.

Quando apri un workspace o un file dopo che il terminale è già in esecuzione, tutte le sessioni eseguono automaticamente cd alla nuova radice del workspace.

Impostazioni

Apri Impostazioni → Terminale per configurare:

ImpostazioneIntervalloPredefinito
Dimensione Font10 – 24 px13 px
Interlinea1.0 – 2.01.2
Copia alla SelezioneAttivo / OffOff

Le modifiche si applicano immediatamente a tutte le sessioni aperte.

Persistenza

La visibilità e l'altezza del pannello terminale vengono salvate e ripristinate tra i riavvii hot-exit. I processi shell stessi non possono essere preservati — una shell nuova viene avviata per ogni sessione al riavvio.