Un'introduzione alle estensioni di shell gnome
Quali sono le estensioni che cambiano?
Questa può sembrare una domanda irrilevante ma quando inizi la risoluzione dei problemi, devi saperlo. Qualsiasi estensione sta effettivamente aggiungendo codice al gnome-shell. Per questo motivo, il tuo desktop si bloccherà a causa di una cattiva estensione, quindi prova attentamente prima di fidarsi di qualsiasi codice. È una buona idea ricordarlo sia quando si installano le estensioni di altre persone e quando ti stai programmando.
Puoi imparare come fare un'estensione rapidamente se conosci JavaScript e segui la documentazione su Gnome Wiki. È possibile iniziare utilizzando gli strumenti standard che creano i file richiesti per te. Ci sono solo due file richiesti, però, quindi crearli da solo non è un grande compito.
Come si installano le estensioni di altre persone?
Prima di decidere di fare la tua estensione, è una buona idea vedere cosa c'è già in giro. In questo modo, hai anche l'opportunità di vedere come sono scritti. Il modo migliore per imparare a programmare è combinare tutorial con il codice degli altri. Il modo ufficiale di installare un'estensione è utilizzare la pagina Web di Gnome Extensions. Con l'aiuto di un plug -in, puoi controllare le tue estensioni utilizzando il browser (Firefox e Chrome). Hai anche la possibilità di scaricare tu stesso l'intero albero della directory. Se lo fai, devi posizionare tutto sotto la tua directory di casa. I file vanno nella sua directory sotto: '~/.locale/share/gnome-shell/estensioni/'. Per le configurazioni di sistema, lo metti in 'usr/share/gnome-shell/estensioni', ma fallo solo dopo averlo convalidato e se stai amministrando il computer per molti utenti. Puoi trovare molte estensioni su GitHub e altri siti simili. In questo caso, devi davvero provarlo sotto il tuo utente o anche un utente temporaneo.
Cosa è stato fatto prima?
Potresti chiederti quali estensioni hanno progettato le persone prima di te? Alcuni interessanti sono; Indicatore meteorologico nella barra delle applicazioni, timer Pomodoro e indicatori di sistemi. Puoi anche trovare un programma di disegno Disegna sullo schermo, che chiami con Super-Shift-D. Molto utile se vuoi annotare uno screenshot. Se qualcosa sul desktop gnome ti infastidisce, come una notifica che vorresti evitare. Guardati intorno, la maggior parte delle cose ha modifiche a forma di estensione. Il pulsante Attività non è apprezzato da tutti, quindi nascondilo con un'estensione. Puoi anche ottenere assistenza quando prendi il tuo tè!
Il modo migliore per iniziare
Quando sei tentato di iniziare a crearne uno tuo, devi imparare JavaScript anche se puoi usare altre lingue per la logica principale del tuo programma. La tua estensione completerà il codice gnome-shell che rende utile conoscere abbastanza javascript per la risoluzione dei problemi. Ci sono script pronti per costruire la tua estensione, usarne e quindi cercare estensioni simili che puoi studiare per vedere come sono implementati. La documentazione ufficiale di inizio è utile per iniziare. Hai prima bisogno di identificare ciò che farà la tua estensione. Avrà un menu a discesa, un menu del pannello o forse animazioni. Puoi trovare quale si fa cosa attraverso la documentazione, ma ecco una breve rottura di alcune funzionalità.
Clutter - Dispone i componenti grafici. ST - Gnome Toolkit, usali per creare scatole, bidoni e altro ancora. Tweener - comunemente usato per le animazioni, non parte di Gnome.
Questi sono i tre componenti principali che puoi usare per fare un'estensione. La documentazione è molto tecnica, quindi cerca esempi ovunque tu possa. Il modo migliore per imparare è usare una parte alla volta.
Altri tutorial
Può essere molto utile seguire alcuni tutorial, semplicemente non esagerare, il modo migliore per imparare è commettere errori. Tuttavia, è più facile scalare la curva di apprendimento con un tutorial.
Un bel tutorial che mostra il tasso di cambio raccolto dal trasferimento saggio. Uno più lungo qui mostra molti più dettagli ed è più dettagliato. Il tutorial è del 2012 ma è ancora valido in molti modi.
Conclusione
Per iniziare a fare estensioni di gnome, la tua prima sfida è trovare una buona documentazione. Il secondo è avere un piano di gioco per quello che pensi che il tuo bisogno dovrebbe fare. Sarà molto interessante per te se hai la base JavaScript necessaria, anche se probabilmente puoi superare il tutorial esistente anche con abilità rudimentali in JavaScript.