Tra le nuove estensioni disponibili per GNOME Shell, vi vogliamo segnalare Gnofi un lancher che offre un modo più rapido e personalizzabile di richiamare app, eseguire ricerche e lanciare comandi.
Perché installare Gnofi vale la pena
Gnofi risponde a una necessità concreta: avere un launcher intuitivo ma potente, che non si appoggi alla classica overview di GNOME. Con un’interfaccia minimalista, consente di personalizzare il layout della sezione di ricerca delle applicazioni, aggiungere provider disponibili nel sistema e disporli secondo le proprie esigenze. Ne deriva una maggiore efficienza nella ricerca di applicazioni e comandi, eliminando distrazioni e frizioni dal flusso di lavoro quotidiano.
Un’altra caratteristica chiave è la possibilità di utilizzare comandi attivati da un prefisso, di default “:”. Digitando per esempio “\:c” si può attivare un provider di ricerca come quello dei caratteri Unicode, senza che risultati di app o altre fonti invadano la vista. È una modalità elegante per accedere a funzionalità specifiche con un paio di tasti.
Infine, Gnofi supporta plugin IPC (inter-process communication) personalizzati, scrivibili in qualsiasi linguaggio. Questa estensione è la chiave per potenziare o addirittura sostituire la ricerca predefinita nel tuo ambiente desktop; immagina di integrare funzionalità Nix, plugin su misura o comandi speciali, il tutto richiamabile con semplicità.
Installare Gnofi su GNOME Shell
Gnofi è un progetto ancora in fase di sviluppo, in data odierna non è ancora disponibile nel portale GNOME Shell Extensions dobbiamo quindi installarlo con pochi e semplici passaggi, basta digitare da terminale:
wget https://github.com/Aylur/gnofi-gnome-extension/releases/download/v0.1.1/gnofi@aylur.shell-extension.zip gnome-extensions install gnofi@aylur.shell-extension.zip
e abilitare l’estensione da GNOME Extensions
Una volta attivato Gnofi è pronto all’uso. La sua peculiarità sta nella capacità di mostrare la ricerca in un popup anziché nell’overview, consentendoti di:
- Personalizzare la disposizione della sezione di ricerca applicazioni
- Aggiungere provider di ricerca esistenti nel sistema e configurare la loro disposizione singolarmente
- Impostare comandi rapidi digitando il prefisso : seguito dal comando, che può essere un provider di ricerca, un picker o un plugin IPC
- Estendere la funzionalità tramite plugin IPC, scrivibili in qualsiasi linguaggio: potrai così sostituire o potenziare la ricerca di default
Gnofi è molto più di una semplice estensione GNOME; è una forma evoluta di launcher, ricerca e palette comandi, un’idea moderna applicata al desktop. La sua facilità di installazione via terminale, le capacità di personalizzazione tramite provider e comandi, insieme alla potenza dei plugin IPC, lo rendono uno strumento elegante per chi ama ottimizzare il proprio ambiente Linux.
Se punti a un desktop GNOME più snello, intelligente e adattabile, Gnofi è un investimento che vale il tempo dedicato. Segui la guida proposta, sperimenta con le configurazioni e lasciati sorprendere dalla velocità e dalla fluidità che può portare nella tua routine quotidiana.
