Continua dopo la pubblicità
Scopri i passaggi per impostare l'emulatore Alacritty come terminale predefinito in Ubuntu 22.04 Jammy o Fossa Focal 20.04 per eseguire le istruzioni.
Il terminal di Alacritty è noto per la sua elevata velocità. È scritto in Rust e utilizza OpenGL per il rendering, risultando così l'emulatore di terminale più veloce disponibile. È l'emulatore di terminale più semplice per Linux perché i suoi creatori vogliono migliorarne l'efficienza. Ciò significa che non incontrerai problemi come schede, divisioni o editor di configurazione GUI. Di conseguenza, questo terminale è adatto a molti utenti Linux che utilizzano un sistema obsoleto o hanno risorse limitate o cercano un terminale incentrato sulle prestazioni.
Continua dopo la pubblicità
Non è adatto a chi ha bisogno di un terminale sofisticato con decine di opzioni simili a Tabby e Terminator come alternativa semplice e minimalista in grado di utilizzare la GPU per aumentare l'efficienza. Beh, è un terminale relativamente nuovo rispetto ad altri nomi di tendenza come il terminale Gnome o il terminale XFCE.
Proprio qui in questo articolo tutorial in cui tutti sappiamo come impostare Alacritty come software terminale predefinito in Ubuntu 22.04 o 20.04 Linux...
Passaggi per impostare Alacritty come terminale predefinito in Ubuntu 22.04 o 20.04
Esegui il terminale di comando
È necessario utilizzare il terminale Ubuntu predefinito o Puoi usare quello che vuoi, ma adesso dobbiamo usare il Terminale. È necessario utilizzare la scorciatoia da tastiera Ctrl+Alt+T.
Cambia il terminale predefinito in Ubuntu in Alacritty
Bene, per cambiare il terminale predefinito di Ubuntu e impostarne un altro, dobbiamo avere almeno un'altra applicazione emulatrice di terminale oltre a quella fornita con il sistema. Ad esempio, Ubuntu fornisce Gnome Terminal, ma ora potresti aver installato Alacritty e voler impostare uno dei due come predefinito. In questi casi, un'utilità integrata del nostro sistema Linux, chiamata aggiornare le alternative, può essere utilizzato.
Possiamo utilizzare questa utility per passare da una funzione del Terminale all'altra sul nostro sistema e renderne una qualsiasi predefinita. Non è limitato alle applicazioni terminali, lo utilizzeremo anche per i browser e altre funzioni. Questo perché questa utility è responsabile dell'organizzazione delle funzioni predefinite in Ubuntu o Debian.
Eseguire il comando indicato per modificare e scegliere il terminale predefinito Ubuntu o Debian.
sudo update-alternatives --config x-terminal-emulatorEseguendo il comando sopra riportato, otterrai il registro di tutti gli emulatori di terminale presenti, con la possibilità di sceglierne uno qualsiasi.
Per esempio:
Ci sono 7 decisioni per la scelta x-terminal-emulator (che offre /usr/bin/x-terminal-emulator). Scelta Percorso Precedenza Posizione ------------------------------------------------------------ * 0 /usr/bin/terminator 50 modalità automatica 1 /usr/bin/alacritty 50 modalità guida 2 /usr/bin/gnome-terminal.wrapper 40 modalità guida 3 /usr/bin/koi8rxterm 20 modalità guida 4 /usr/bin/lxterm 30 modalità guida 5 /usr/bin/terminator 50 modalità guida 6 /usr/bin/uxterm 20 modalità guida 7 /usr/bin/xterm 20 modalità guida Premere per mantenere la selezione corrente[*], oppure digitare il numero di scelta:
Cosa dovresti fare è scoprire prima la varietà “ Scelta " del terminale che vuoi impostare come standard . Dopo di che, tipo -o e premere il tasto Entra . E sei soddisfatto. Per esempio , per definire Alacritty, digitiamo – 1 e poi premiamo il tasto Invio. Allo stesso modo, utilizza la quantità di scelta data ad Alacritty sul tuo sistema Ubuntu 20.04 o 22.04.
Esamina Alacritty riguarda il motivo per cui il terminale predefinito o no
Una volta completati i passaggi precedenti, è il momento di verificare se il Terminale predefinito è stato modificato e impostato su quello nuovo oppure no. Per fare ciò, eseguire il comando simile dato sopra ancora una volta , ma questa volta noterai il Asterisco (*) all'ingresso del Terminal avresti potuto scegliere. Ciò dimostra che le modifiche vengono eseguite in modo efficiente. Allo stesso modo, modificheremo e imposteremo qualsiasi terminale in Ubuntu 20.04 o 22.04 come predefinito utilizzando l'utilità update-alternatives. Se hai difficoltà a farlo, la parte relativa all'osservazione è tutta tua...