[Risolto] Mettere gruppi nel launcher?

Personalizzazione grafica del sistema: icone, temi, sfondi, suoni, ecc.

[Risolto] Mettere gruppi nel launcher?

Messaggioda corradoventu » sabato 22 dicembre 2018, 19:22

Se non vogliamo/possiamo usare le icone delle applicazioni sul desktop sarebbe utile poter mettere un 'gruppo' nel launcher. Se apriamo la lista delle applicazioni vediamo un gruppo/contenitore chiamato utility da cui possiamo selezionare una o piu applicazioni e metterle nel launcher; è possibile mettere nel launcher tutta la 'scatola'? Mi sembra di ricordare che con qualche vecchio GNOME era possimile, ma come?
grazie
Allegati
Screenshot from 2018-12-22 17-07-04.jpg
Ultima modifica di corradoventu il martedì 25 dicembre 2018, 21:14, modificato 1 volta in totale.
Con o senza religione, i buoni si comportano bene e i cattivi male, ma ci vuole la religione per far comportare male i buoni. (Steven Weinberg)
PC di casa: https://drive.google.com/folderview?id= ... sp=sharing
Avatar utente
corradoventu
Entusiasta Emergente
Entusiasta Emergente
 
Messaggi: 1353
Iscrizione: aprile 2008
Località: Bogliasco (GE) o Rezzoaglio (GE)
Desktop: GNOME
Distribuzione: Ubuntu 18.04, 19.04, 19.10
Sesso: Maschile

Re: Mettere gruppi nel launcher?

Messaggioda caturen » domenica 23 dicembre 2018, 18:20

Se non vogliamo/possiamo usare le icone delle applicazioni sul desktop

https://extensions.gnome.org/extension/ ... top-icons/
Mi sembra di ricordare che con qualche vecchio GNOME era possibile
credo fosse possibile con unity e non con gnome-shell
caturen
Tenace Tecnocrate
Tenace Tecnocrate
 
Messaggi: 14853
Iscrizione: aprile 2010
Desktop: diversi
Distribuzione: debian sid

Re: Mettere gruppi nel launcher?

Messaggioda corradoventu » domenica 23 dicembre 2018, 18:33

caturen Immagine ha scritto:
Se non vogliamo/possiamo usare le icone delle applicazioni sul desktop

https://extensions.gnome.org/extension/ ... top-icons/
Mi sembra di ricordare che con qualche vecchio GNOME era possibile
credo fosse possibile con unity e non con gnome-shell

1) ho installato nautilus 3.30 e desktop-icons ma (almeno per ora) desktop-icons non mi convince, la mia idea era di rinunciare alle icone sul desktop e usare i gruppi.
2) ho trovato discussioni su come mettere i gruppi - per unity - e speravo in un suggerimento per GNOME

edit: in ogni caso aspetterò che tutti e due escano 'regolari' io li ho installati dai proposed (come si dice non-dai-proposed?)
Con o senza religione, i buoni si comportano bene e i cattivi male, ma ci vuole la religione per far comportare male i buoni. (Steven Weinberg)
PC di casa: https://drive.google.com/folderview?id= ... sp=sharing
Avatar utente
corradoventu
Entusiasta Emergente
Entusiasta Emergente
 
Messaggi: 1353
Iscrizione: aprile 2008
Località: Bogliasco (GE) o Rezzoaglio (GE)
Desktop: GNOME
Distribuzione: Ubuntu 18.04, 19.04, 19.10
Sesso: Maschile

Re: Mettere gruppi nel launcher?

Messaggioda caturen » domenica 23 dicembre 2018, 21:03

speravo in un suggerimento per GNOME
ma ancora non hai capito che in gnome tolgono le cose invece di metterle?
caturen
Tenace Tecnocrate
Tenace Tecnocrate
 
Messaggi: 14853
Iscrizione: aprile 2010
Desktop: diversi
Distribuzione: debian sid

Re: Mettere gruppi nel launcher?

Messaggioda sket » lunedì 24 dicembre 2018, 11:10

sarebbe qualcosa tipo le quicklist?
Avatar utente
sket
Prode Principiante
 
Messaggi: 169
Iscrizione: giugno 2014
Desktop: Gnome
Distribuzione: Ubuntu 18.04 LTS

Re: Mettere gruppi nel launcher?

Messaggioda corradoventu » lunedì 24 dicembre 2018, 16:50

sket Immagine ha scritto:sarebbe qualcosa tipo le quicklist?

esatto, ma ho trovato solo come creare quicklist in Ubuntu con Unity e non su 19.04 che è GNOME
Con o senza religione, i buoni si comportano bene e i cattivi male, ma ci vuole la religione per far comportare male i buoni. (Steven Weinberg)
PC di casa: https://drive.google.com/folderview?id= ... sp=sharing
Avatar utente
corradoventu
Entusiasta Emergente
Entusiasta Emergente
 
Messaggi: 1353
Iscrizione: aprile 2008
Località: Bogliasco (GE) o Rezzoaglio (GE)
Desktop: GNOME
Distribuzione: Ubuntu 18.04, 19.04, 19.10
Sesso: Maschile

Re: Mettere gruppi nel launcher?

Messaggioda caturen » lunedì 24 dicembre 2018, 20:07

caturen
Tenace Tecnocrate
Tenace Tecnocrate
 
Messaggi: 14853
Iscrizione: aprile 2010
Desktop: diversi
Distribuzione: debian sid

Re: Mettere gruppi nel launcher?

Messaggioda corradoventu » lunedì 24 dicembre 2018, 20:23

lo avevo visto ma mi ha scoraggiato il 'OnlyShowIn=Unity;' che ricorre negli esempi
Con o senza religione, i buoni si comportano bene e i cattivi male, ma ci vuole la religione per far comportare male i buoni. (Steven Weinberg)
PC di casa: https://drive.google.com/folderview?id= ... sp=sharing
Avatar utente
corradoventu
Entusiasta Emergente
Entusiasta Emergente
 
Messaggi: 1353
Iscrizione: aprile 2008
Località: Bogliasco (GE) o Rezzoaglio (GE)
Desktop: GNOME
Distribuzione: Ubuntu 18.04, 19.04, 19.10
Sesso: Maschile


Re: Mettere gruppi nel launcher?

Messaggioda corradoventu » martedì 25 dicembre 2018, 15:43

Usando Ubuntu Software come indicato in https://www.omgubuntu.co.uk/2017/04/add ... l-overview è facile creare dei gruppi (folders) di applicazioni e io ho creato per prova il gruppo 'office' - vedi allegato - ma poi non so come aggiungere quel gruppo nel launcher.
Anche le altre pagine che mi hai suggerito spiegano come creare gruppi ma non come metterli nel launcher.
Allegati
Screenshot from 2018-12-25 15-28-34.jpg
Con o senza religione, i buoni si comportano bene e i cattivi male, ma ci vuole la religione per far comportare male i buoni. (Steven Weinberg)
PC di casa: https://drive.google.com/folderview?id= ... sp=sharing
Avatar utente
corradoventu
Entusiasta Emergente
Entusiasta Emergente
 
Messaggi: 1353
Iscrizione: aprile 2008
Località: Bogliasco (GE) o Rezzoaglio (GE)
Desktop: GNOME
Distribuzione: Ubuntu 18.04, 19.04, 19.10
Sesso: Maschile

Re: Mettere gruppi nel launcher?

Messaggioda woddy68 » martedì 25 dicembre 2018, 16:29

corradoventu Immagine ha scritto:Usando Ubuntu Software come indicato in https://www.omgubuntu.co.uk/2017/04/add ... l-overview è facile creare dei gruppi (folders) di applicazioni e io ho creato per prova il gruppo 'office' - vedi allegato - ma poi non so come aggiungere quel gruppo nel launcher.
Anche le altre pagine che mi hai suggerito spiegano come creare gruppi ma non come metterli nel launcher.

Perché, almeno da come lo letta io, quelli sono gruppi per la "dash" o come si chiama ora e non so se è possibile creare un lanciatore che punti al gruppo, anche se credo che indagando il metodo dovrebbe esserci, certo è che queste cose dovrebbero essere facilitate se possibili. :p
Desktop - Acer Aspire M5500 (AMD) OpenSuse Leap 15 Kde -- Kubuntu 18.04 -- Tumbleweed
Notebook Acer Aspire E1 -522 (Amd) Tumbleweed
Avatar utente
woddy68
Imperturbabile Insigne
Imperturbabile Insigne
 
Messaggi: 4091
Iscrizione: febbraio 2011
Località: Bellano Lc
Desktop: Kde Plasma5
Distribuzione: Leap 15 - Tumbleweed- Kubuntu 18.04
Sesso: Maschile

Re: Mettere gruppi nel launcher?

Messaggioda giulux » martedì 25 dicembre 2018, 16:32

Cliccare di destro sul gruppo nella dash → aggiungi ai preferiti?
con l'aiuto della comunità le cose si mettono quasi sempre a posto (e non apposto), a parte (e non apparte) qualche caso ...
Avatar utente
giulux
Amministratore
Amministratore
 
Messaggi: 22489
Iscrizione: gennaio 2010
Località: Roma
Desktop: xubuntu - ubuntu 18.04
Distribuzione: Ubuntu+Xubuntu 18.04.2 LTS x86_64
Sesso: Maschile

Re: Mettere gruppi nel launcher?

Messaggioda trekfan1 » martedì 25 dicembre 2018, 17:09

Non funziona, non dà nemmeno l'opzione
Avatar utente
trekfan1
Moderatore Globale
Moderatore Globale
 
Messaggi: 19206
Iscrizione: maggio 2006
Località: Formigine (MO) | Tenace Tecnocrate
Desktop: Gnome
Distribuzione: Ubuntu 19.04 e 19.10 (dev) 64 bit
Sesso: Maschile

Re: Mettere gruppi nel launcher?

Messaggioda caturen » martedì 25 dicembre 2018, 17:47

Io non sono certo un fan di gnome-shell, ma ha ben poco senso fare quella roba in quel DE. Se uno vuole un menu tanto vale che non usi la dash o come cavolo si chiami.
caturen
Tenace Tecnocrate
Tenace Tecnocrate
 
Messaggi: 14853
Iscrizione: aprile 2010
Desktop: diversi
Distribuzione: debian sid

Re: Mettere gruppi nel launcher?

Messaggioda sket » martedì 25 dicembre 2018, 18:54

io ho creato le quicklist esattamente con su unity, poi essendo un .desktop me lo ritrovo nella dash come un app, click destro -> aggiungi ai preferiti.
Avatar utente
sket
Prode Principiante
 
Messaggi: 169
Iscrizione: giugno 2014
Desktop: Gnome
Distribuzione: Ubuntu 18.04 LTS

Re: Mettere gruppi nel launcher?

Messaggioda corradoventu » martedì 25 dicembre 2018, 21:06

GRAZIE!!! funziona!!! e quella istruzione: "OnlyShowIn=Unity;" non lo disturba, anzi se la tolgo non funziona più. Proverò con "OnlyShowIn=GNOME;" ma se cambio il mio .local/share/applications/Grafica.desktop per farlo attivare devo fare shutdown.
Codice: Seleziona tutto
[Desktop Entry]
Name=Grafica
Comment=
Categories=
Exec=
Icon=/usr/share/icons/Humanity/categories/64/applications-graphics.svg
Terminal=false
Type=Application
StartupNotify=true

Actions=Gimp;Inkscape;Libreoffice Draw;Simplescan;Shotwell;

[Desktop Action Gimp]
Name=Gimp
Exec=/usr/bin/gimp
OnlyShowIn=Unity;

[Desktop Action Inkscape]
Name=Inkscape
Exec=/usr/bin/inkscape
OnlyShowIn=Unity;

[Desktop Action Libreoffice Draw]
Name=Libreoffice Draw
Exec=libreoffice --draw %U
OnlyShowIn=Unity;

[Desktop Action Simplescan]
Name=Simplescan
Exec=/usr/bin/simple-scan
OnlyShowIn=Unity;

[Desktop Action Shotwell]
Name=Shotwell
Exec=shotwell %U
OnlyShowIn=Unity;


Edit: funziona anche con "OnlyShowIn=GNOME;"
metto Risolto anche se devo capire meglio vari particolari, se scopro qualcosa di utile riaggiorno la discussione.
grazie a tutti e buone feste.
Allegati
Screenshot from 2018-12-25 20-48-17.jpg
Con o senza religione, i buoni si comportano bene e i cattivi male, ma ci vuole la religione per far comportare male i buoni. (Steven Weinberg)
PC di casa: https://drive.google.com/folderview?id= ... sp=sharing
Avatar utente
corradoventu
Entusiasta Emergente
Entusiasta Emergente
 
Messaggi: 1353
Iscrizione: aprile 2008
Località: Bogliasco (GE) o Rezzoaglio (GE)
Desktop: GNOME
Distribuzione: Ubuntu 18.04, 19.04, 19.10
Sesso: Maschile

Re: [Risolto] Mettere gruppi nel launcher?

Messaggioda giulux » mercoledì 26 dicembre 2018, 7:56

A me il gruppo postato da corradoventu non funziona, c'è l'opzione di aggiungere al launcher, ma non lo fa :(
Non ho provato altro.
con l'aiuto della comunità le cose si mettono quasi sempre a posto (e non apposto), a parte (e non apparte) qualche caso ...
Avatar utente
giulux
Amministratore
Amministratore
 
Messaggi: 22489
Iscrizione: gennaio 2010
Località: Roma
Desktop: xubuntu - ubuntu 18.04
Distribuzione: Ubuntu+Xubuntu 18.04.2 LTS x86_64
Sesso: Maschile

Re: [Risolto] Mettere gruppi nel launcher?

Messaggioda corradoventu » mercoledì 26 dicembre 2018, 8:51

A me funziona su 2 diverse installazioni di Ubuntu 19.04 una con proposed e una senza. Tu dove hai provato?
Se dalla dash clicchi bottone destro ti apre la lista? e se clicchi sulla applicazione la apre?

edit: provato anche su
Codice: Seleziona tutto
corrado@corrado-p8-bionic:~$ inxi -S
System:    Host: corrado-p8-bionic Kernel: 4.15.0-43-generic x86_64 bits: 64 Desktop: Gnome 3.28.3
           Distro: Ubuntu 18.04.1 LTS


RiEdit: provato ok sia con x11 che con wayland
Ultima modifica di corradoventu il mercoledì 26 dicembre 2018, 9:51, modificato 2 volte in totale.
Con o senza religione, i buoni si comportano bene e i cattivi male, ma ci vuole la religione per far comportare male i buoni. (Steven Weinberg)
PC di casa: https://drive.google.com/folderview?id= ... sp=sharing
Avatar utente
corradoventu
Entusiasta Emergente
Entusiasta Emergente
 
Messaggi: 1353
Iscrizione: aprile 2008
Località: Bogliasco (GE) o Rezzoaglio (GE)
Desktop: GNOME
Distribuzione: Ubuntu 18.04, 19.04, 19.10
Sesso: Maschile

Re: [Risolto] Mettere gruppi nel launcher?

Messaggioda giulux » mercoledì 26 dicembre 2018, 9:29

Provato su ubuntu 18.04.1 con kernel 4.20.
Cliccando di destro sul gruppo ho solo le opzioni per aprire una nuova finestra o aggiungere ai preferiti, entrambe non producono effetti.
con l'aiuto della comunità le cose si mettono quasi sempre a posto (e non apposto), a parte (e non apparte) qualche caso ...
Avatar utente
giulux
Amministratore
Amministratore
 
Messaggi: 22489
Iscrizione: gennaio 2010
Località: Roma
Desktop: xubuntu - ubuntu 18.04
Distribuzione: Ubuntu+Xubuntu 18.04.2 LTS x86_64
Sesso: Maschile

Re: [Risolto] Mettere gruppi nel launcher?

Messaggioda trekfan1 » mercoledì 26 dicembre 2018, 9:47

A me su ubuntu 18.10 funziona
Avatar utente
trekfan1
Moderatore Globale
Moderatore Globale
 
Messaggi: 19206
Iscrizione: maggio 2006
Località: Formigine (MO) | Tenace Tecnocrate
Desktop: Gnome
Distribuzione: Ubuntu 19.04 e 19.10 (dev) 64 bit
Sesso: Maschile


Torna a Personalizzazione dell'ambiente desktop

Chi c’è in linea

Visualizzano questa sezione: 0 utenti registrati e 1 ospite