GNOME Terminal
GNOME Terminal è un emulatore di terminale per il desktop environment GNOME scritto da Havoc Pennington e altri. Consente agli utenti di eseguire comandi con una vera shell UNIX dal proprio desktop grafico.
GNOME Terminal software | |
---|---|
Screenshot di GNOME Terminal | |
Genere | Terminale |
Sviluppatore | progetto GNOME |
Data prima versione | 7 dicembre 2001 |
Ultima versione | 3.52.2 (30 aprile 2024) |
Sistema operativo | POSIX (GNU, Linux, BSD, Solaris) |
Linguaggio | C Vala |
Toolkit | GTK |
Licenza | GNU GPL v3+ (licenza libera) |
Sito web | wiki.gnome.org/Apps/Terminal |
È simile all'emulatore di terminale xterm e ha caratteristiche quasi identiche. Tra quelle più importanti ci sono il sostegno al testo colorato (l'output di un comando come ls—color=auto mostra bene l'uso di questa funzione), e il supporto agli eventi del mouse all'interno della finestra. Gli eventi del mouse sono comunemente utilizzati all'interno di applicazioni basate su ncurses per l'uso di menu o pulsanti normalmente selezionati tramite la tastiera.
Emula molte, ma non tutte, le sequenze di escape supportate da xterm[1] e fornisce un sottoinsieme utile del terminale DEC VT102. Le versioni più recenti supportano il compositing e la trasparenza reale, così come le schede multiple. Supporta anche la URL detection, ovvero la visualizzazione nel terminale di link cliccabili. Gran parte delle funzionalità di GNOME Terminal sono fornite dal widget VTE[2].
Note
modifica- ^ (EN) Thomas E. Dickey, XTERM - Frequently Asked Questions, su invisible-island.net.
- ^ (EN) Additional Widgets - Terminal Widget, su developer.gnome.org, 18 ottobre 2003. URL consultato il 2 maggio 2008 (archiviato dall'url originale il 21 maggio 2008).
Altri progetti
modifica- Wikimedia Commons contiene immagini o altri file su GNOME Terminal
Collegamenti esterni
modifica- (EN) Sito ufficiale, su wiki.gnome.org.
- GNOME Terminal, su packages.debian.org.
- Repository sorgenti di GNOME Terminal, su gitlab.gnome.org.
- (EN) GNOME Terminal, su Free Software Directory.