come da titolo,per creare una estensione il comando è:

 gnome-shell-extension-tool -c

alle domande che mi poneva ho risposto digitando prova,in fine mi ha creato una estensione con il nome prova,attivandola appare nel pannello in alto,cliccando parte una notifica con scritto Hello,world,volendo posso modificare Hello,world con qualcos altro oppure l'icona,in fine è possibile aggiungere un comando in questa estensione,a me sembra linguaggio java,quindi qualcuno esperto in java :)

Saluti

chiesto 20 Mar '18, 22:32

Davide_74's gravatar image

Davide_74
632668091

È javascript, non java.

Puoi modificare tutto quello che vuoi :)

Ti consiglio una lettura approfondita della guida Gnome relativa alle estensioni https://wiki.gnome.org/Projects/GnomeShell/Extensions

(23 Mar '18, 11:36) dadexix86 ♦♦ dadexix86's gravatar image

@dadexix86 Grazie per la risposta,no,non sono capace di capire quella roba,infatti ho chiesto,speravo/spero in qualcuno bravo in javascript, magari dopo posso iniziare a leggere e capire

Saluti

(23 Mar '18, 15:21) Davide_74 Davide_74's gravatar image

Io di javascript qualcosa ne capisco... Se mi dici esattamente cosa vuoi fare posso essere più preciso nell'aiutarti.

(24 Mar '18, 01:41) dadexix86 ♦♦ dadexix86's gravatar image

Cercando quale comando disattivava un estensione ho trovato anche come creare un estensione,ecco poi perchè mi son chiesto come fare per aggiungere/editare quella estensione creata,niente @dadexix86 per dire quando attivo l'estensione appare l'icona sul pannello,cliccandoci su appare un banner con scritto Hello,World,volendo giusto per prova si può far partire gedit?

Saluti

(24 Mar '18, 06:39) Davide_74 Davide_74's gravatar image

Sì sì, si può far partire quello che vuoi :)
Non dico che sia semplice, eh!

Ad esempio l'estensione MyLauncher fa esattamente questo, lancia comandi definiti nel file mylauncher.properties

Ad esempio guardando il codice si vede che il comando che viene usato alla fine della fiera (guarda il file extension.js, funzione _runCmd) è la funzione Main.Util.trySpawnCommandLine(AAAAAAA); dove AAAAAAA è il comando che vuoi lanciare.

(24 Mar '18, 11:20) dadexix86 ♦♦ dadexix86's gravatar image

purtroppo non posso provare l'estensione,è abbastanza anziana,quindi se nel file mylauncher.properties cancellavo tutto ed inserivo gedit mi ritrovavo soltanto gedit? cmq una estensione del genere la tengo installata "Argos" e con questa mi son creato il network manager personalizato :) forse da come ho capito,non è possibile aggiungere qualcosa in un file .js

(24 Mar '18, 18:48) Davide_74 Davide_74's gravatar image

Sì, esatto. "forse da come ho capito,non è possibile aggiungere qualcosa in un file .js" è possibile aggiungere tutto il codice che vuoi a un file .js, se sai cosa e come scrivere javascript...

(25 Mar '18, 11:22) dadexix86 ♦♦ dadexix86's gravatar image

@dadexix86 credevo fosse più facile,invece no, "ridiamoci sopra un pò n'a scarp si n'a scarp no come in un film di charlot" la cantava "Pino Daniele"

Grazie Saluti

(26 Mar '18, 15:08) Davide_74 Davide_74's gravatar image
Scrivi tu la prima risposta!
abilita/disabilita anteprima

Segui questa domanda

Via email:

Una volta eseguito l'accesso potrai iscriverti a tutti gli aggiornamenti qui

Via RSS:

Risposte

Risposte e commenti

Basi di markdown

  • *corsivo* o __corsivo__
  • **grassetto** o __grassetto__
  • collegamento:[testo](http://url.com/ "titolo")
  • immagine?![alt testo](/path/img.jpg "titolo")
  • elenco numerato: 1. Foo 2. Bar
  • per aggiungere un'interruzione di riga, aggiungi due spazi a fine riga e premi «Invio»
  • è supportato anche semplice HTML

Tag:

×33

domanda posta: 20 Mar '18, 22:32

domanda visualizzata: 766 volte

ultimo aggiornamento: 26 Mar '18, 15:16

Chiedi è un servizio di supporto gestito da Ubuntu-it. Contattaci!

powered by OSQAPostgreSQL database
Ubuntu e Canonical sono marchi registrati da Canonical Ltd.