gnomo

Un'introduzione alle estensioni della shell di GNOME

Un'introduzione alle estensioni della shell di GNOME
GNOME ha un'interfaccia elegante, progettata per supportare il tuo lavoro senza intralciarti quando possibile. Queste considerazioni dipendono dalle tue preferenze. Alcune persone vogliono tutta la grafica e le icone, altre vogliono ridurre al minimo le distrazioni ricordando come eseguire le cose con le scorciatoie da tastiera. Un problema noto è che GNOME ha rimosso il menu dell'applicazione comune in altri sistemi. puoi aggiungere un'estensione per aggiungerla tu stesso. Scrivi estensioni per GNOME in JavaScript, anche se ci sono momenti in cui puoi collegarti ad altre lingue. Poiché utilizzi JavaScript, puoi anche utilizzare pacchetti CSS come Bootstrap.

Cosa stanno cambiando le estensioni?

Questa può sembrare una domanda irrilevante, ma quando inizi a risolvere i problemi, devi saperlo. Qualsiasi estensione sta effettivamente aggiungendo codice a gnome-shell. A causa di ciò, il tuo desktop si bloccherà a causa di un'estensione errata, quindi prova attentamente prima di fidarti di qualsiasi codice. È una buona idea ricordarlo sia quando si installano le estensioni di altre persone sia quando si codifica da soli.

Puoi imparare come creare rapidamente un'estensione se conosci JavaScript e segui la documentazione sul wiki di GNOME. Puoi iniziare utilizzando gli strumenti standard che creano i file richiesti per te. Tuttavia, sono necessari solo due file, quindi crearli da soli non è un compito arduo.

Come si installano le estensioni di altre persone??

Prima di decidere di creare la tua estensione, è una buona idea vedere cosa c'è già in giro. In questo modo, hai anche l'opportunità di controllare come sono scritti. Il modo migliore per imparare a programmare è combinare i tutorial con la visualizzazione del codice di altri. Il modo ufficiale per installare un'estensione è utilizzare la pagina Web delle estensioni di GNOME. Con l'aiuto di un plugin, puoi controllare le tue estensioni usando il tuo browser (Firefox e Chrome). Hai anche la possibilità di scaricare tu stesso l'intero albero delle directory. Se lo fai, devi mettere tutto nella tua home directory. I file vanno nella propria directory sotto: '~/.local/share/gnome-shell/extensions/'. Per le configurazioni di sistema, lo metti in 'usr/share/gnome-shell/extensions', 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 le persone hanno progettato prima di te? Alcuni interessanti sono; Indicatore meteo nella barra delle applicazioni, Pomodoro Timer e indicatori di sistema. Puoi anche trovare un programma di disegno Draw On The Screen, 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 delle attività non è apprezzato da tutti, quindi nascondilo con un'estensione. Puoi anche ricevere assistenza durante la preparazione del tè!

Il modo migliore per iniziare

Quando sei tentato di iniziare a crearne uno tuo, devi imparare JavaScript anche se puoi usare altri linguaggi 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, usa quelli e poi cerca estensioni simili che puoi studiare per vedere come sono implementate. La documentazione ufficiale per i principianti è utile per iniziare. Devi prima identificare cosa farà la tua estensione. Avrà un menu a discesa, un menu del pannello o forse animazioni?. Puoi trovare quale fa cosa attraverso la documentazione, ma ecco una breve ripartizione di alcune funzionalità.

Clutter - Dispone i componenti grafici. St - GNOME Toolkit, usa questi per creare scatole, contenitori e altro. Tweener - Comunemente usato per le animazioni, non fa parte di GNOME.

Questi sono i tre componenti principali che puoi utilizzare per creare un'estensione. La documentazione è molto tecnica, quindi cerca esempi ovunque puoi. Il modo migliore per imparare è usare una parte alla volta.

Altri tutorial

Può essere molto utile seguire qualche tutorial, basta non esagerare, il modo migliore per imparare è sbagliare. Tuttavia, è più facile scalare la curva di apprendimento con un tutorial.

Un bel tutorial che mostra il tasso di cambio come riscosso 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 creare estensioni GNOME, la prima sfida è trovare una buona documentazione. Il secondo è avere un piano di gioco per quello che pensi debba fare la tua esigenza. Sarà molto interessante per te se hai la base JavaScript richiesta, anche se probabilmente puoi seguire il tutorial esistente anche con competenze rudimentali in JavaScript.

I 10 migliori giochi da giocare su Ubuntu
La piattaforma Windows è stata una delle piattaforme dominanti per i giochi a causa dell'enorme percentuale di giochi che si stanno sviluppando oggi p...
I 5 migliori giochi arcade per Linux
Al giorno d'oggi, i computer sono macchine serie utilizzate per i giochi. Se non riesci a ottenere il nuovo punteggio più alto, saprai cosa intendo. I...
Battaglia per Wesnoth 1.13.6 Sviluppo rilasciato
Battaglia per Wesnoth 1.13.6 rilasciato il mese scorso, è la sesta versione di sviluppo nella 1.13.x e offre una serie di miglioramenti, in particolar...