[Risolto] Mettere gruppi nel launcher?

Personalizzazione grafica del sistema: icone, temi, sfondi, suoni, eccetera.
Scrivi risposta
Avatar utente
corradoventu
Entusiasta Emergente
Entusiasta Emergente
Messaggi: 2174
Iscrizione: domenica 27 aprile 2008, 22:23
Desktop: GNOME
Distribuzione: Ubuntu 18.04, 19.10, 20.04, 20.10
Sesso: Maschile
Località: Bogliasco (GE) o Rezzoaglio (GE)
Contatti:

[Risolto] Mettere gruppi nel launcher?

Messaggio da 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)

caturen
Tenace Tecnocrate
Tenace Tecnocrate
Messaggi: 16141
Iscrizione: giovedì 8 aprile 2010, 18:41
Desktop: diversi
Distribuzione: debian

Re: Mettere gruppi nel launcher?

Messaggio da 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

Avatar utente
corradoventu
Entusiasta Emergente
Entusiasta Emergente
Messaggi: 2174
Iscrizione: domenica 27 aprile 2008, 22:23
Desktop: GNOME
Distribuzione: Ubuntu 18.04, 19.10, 20.04, 20.10
Sesso: Maschile
Località: Bogliasco (GE) o Rezzoaglio (GE)
Contatti:

Re: Mettere gruppi nel launcher?

Messaggio da corradoventu » domenica 23 dicembre 2018, 18:33

caturen [url=https://forum.ubuntu-it.org/viewtopic.php?p=5103146#p5103146][img]https://forum.ubuntu-it.org/images/icons/icona-cita.gif[/img][/url] 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)

caturen
Tenace Tecnocrate
Tenace Tecnocrate
Messaggi: 16141
Iscrizione: giovedì 8 aprile 2010, 18:41
Desktop: diversi
Distribuzione: debian

Re: Mettere gruppi nel launcher?

Messaggio da 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?

Avatar utente
sket
Prode Principiante
Messaggi: 180
Iscrizione: giovedì 19 giugno 2014, 16:52
Desktop: Gnome
Distribuzione: Ubuntu 18.04 LTS

Re: Mettere gruppi nel launcher?

Messaggio da sket » lunedì 24 dicembre 2018, 11:10

sarebbe qualcosa tipo le quicklist?

Avatar utente
corradoventu
Entusiasta Emergente
Entusiasta Emergente
Messaggi: 2174
Iscrizione: domenica 27 aprile 2008, 22:23
Desktop: GNOME
Distribuzione: Ubuntu 18.04, 19.10, 20.04, 20.10
Sesso: Maschile
Località: Bogliasco (GE) o Rezzoaglio (GE)
Contatti:

Re: Mettere gruppi nel launcher?

Messaggio da corradoventu » lunedì 24 dicembre 2018, 16:50

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)

caturen
Tenace Tecnocrate
Tenace Tecnocrate
Messaggi: 16141
Iscrizione: giovedì 8 aprile 2010, 18:41
Desktop: diversi
Distribuzione: debian

Re: Mettere gruppi nel launcher?

Messaggio da caturen » lunedì 24 dicembre 2018, 20:07


Avatar utente
corradoventu
Entusiasta Emergente
Entusiasta Emergente
Messaggi: 2174
Iscrizione: domenica 27 aprile 2008, 22:23
Desktop: GNOME
Distribuzione: Ubuntu 18.04, 19.10, 20.04, 20.10
Sesso: Maschile
Località: Bogliasco (GE) o Rezzoaglio (GE)
Contatti:

Re: Mettere gruppi nel launcher?

Messaggio da 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)


Avatar utente
corradoventu
Entusiasta Emergente
Entusiasta Emergente
Messaggi: 2174
Iscrizione: domenica 27 aprile 2008, 22:23
Desktop: GNOME
Distribuzione: Ubuntu 18.04, 19.10, 20.04, 20.10
Sesso: Maschile
Località: Bogliasco (GE) o Rezzoaglio (GE)
Contatti:

Re: Mettere gruppi nel launcher?

Messaggio da 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)

Avatar utente
woddy68
Rampante Reduce
Rampante Reduce
Messaggi: 5585
Iscrizione: sabato 12 febbraio 2011, 14:23
Desktop: Kde Plasma5
Distribuzione: openSUSE Leap-Tumbleweed-Kubuntu 20
Sesso: Maschile

Re: Mettere gruppi nel launcher?

Messaggio da woddy68 » martedì 25 dicembre 2018, 16:29

corradoventu [url=https://forum.ubuntu-it.org/viewtopic.php?p=5103450#p5103450][img]https://forum.ubuntu-it.org/images/icons/icona-cita.gif[/img][/url] 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) - Notebook Acer Aspire E1 -522 (Amd)
Voglio trovare la mia strada per il paradiso - Perché ho scontato la mia pena all'inferno
Non avevo un bell'aspetto ma mi sentivo proprio bene 😬

Avatar utente
giulux
Amministratore
Amministratore
Messaggi: 24035
Iscrizione: domenica 10 gennaio 2010, 12:17
Desktop: ubuntu 18.04
Distribuzione: Ubuntu 18.04.3 LTS x86_64
Sesso: Maschile
Località: Roma

Re: Mettere gruppi nel launcher?

Messaggio da giulux » martedì 25 dicembre 2018, 16:32

Cliccare di destro sul gruppo nella dash → aggiungi ai preferiti?

Avatar utente
trekfan1
Moderatore Globale
Moderatore Globale
Messaggi: 21386
Iscrizione: domenica 21 maggio 2006, 10:51
Desktop: Gnome
Distribuzione: Ubuntu 20.04 e 20.10 (dev) 64 bit
Sesso: Maschile
Località: Formigine (MO) | Accecante Asceta

Re: Mettere gruppi nel launcher?

Messaggio da trekfan1 » martedì 25 dicembre 2018, 17:09

Non funziona, non dà nemmeno l'opzione

caturen
Tenace Tecnocrate
Tenace Tecnocrate
Messaggi: 16141
Iscrizione: giovedì 8 aprile 2010, 18:41
Desktop: diversi
Distribuzione: debian

Re: Mettere gruppi nel launcher?

Messaggio da 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.

Avatar utente
sket
Prode Principiante
Messaggi: 180
Iscrizione: giovedì 19 giugno 2014, 16:52
Desktop: Gnome
Distribuzione: Ubuntu 18.04 LTS

Re: Mettere gruppi nel launcher?

Messaggio da 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
corradoventu
Entusiasta Emergente
Entusiasta Emergente
Messaggi: 2174
Iscrizione: domenica 27 aprile 2008, 22:23
Desktop: GNOME
Distribuzione: Ubuntu 18.04, 19.10, 20.04, 20.10
Sesso: Maschile
Località: Bogliasco (GE) o Rezzoaglio (GE)
Contatti:

Re: Mettere gruppi nel launcher?

Messaggio da 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)

Avatar utente
giulux
Amministratore
Amministratore
Messaggi: 24035
Iscrizione: domenica 10 gennaio 2010, 12:17
Desktop: ubuntu 18.04
Distribuzione: Ubuntu 18.04.3 LTS x86_64
Sesso: Maschile
Località: Roma

Re: [Risolto] Mettere gruppi nel launcher?

Messaggio da 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.

Avatar utente
corradoventu
Entusiasta Emergente
Entusiasta Emergente
Messaggi: 2174
Iscrizione: domenica 27 aprile 2008, 22:23
Desktop: GNOME
Distribuzione: Ubuntu 18.04, 19.10, 20.04, 20.10
Sesso: Maschile
Località: Bogliasco (GE) o Rezzoaglio (GE)
Contatti:

Re: [Risolto] Mettere gruppi nel launcher?

Messaggio da 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)

Avatar utente
giulux
Amministratore
Amministratore
Messaggi: 24035
Iscrizione: domenica 10 gennaio 2010, 12:17
Desktop: ubuntu 18.04
Distribuzione: Ubuntu 18.04.3 LTS x86_64
Sesso: Maschile
Località: Roma

Re: [Risolto] Mettere gruppi nel launcher?

Messaggio da 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.

Avatar utente
trekfan1
Moderatore Globale
Moderatore Globale
Messaggi: 21386
Iscrizione: domenica 21 maggio 2006, 10:51
Desktop: Gnome
Distribuzione: Ubuntu 20.04 e 20.10 (dev) 64 bit
Sesso: Maschile
Località: Formigine (MO) | Accecante Asceta

Re: [Risolto] Mettere gruppi nel launcher?

Messaggio da trekfan1 » mercoledì 26 dicembre 2018, 9:47

A me su ubuntu 18.10 funziona

Scrivi risposta

Ritorna a “Personalizzazione dell'ambiente desktop”

Chi c’è in linea

Visualizzano questa sezione: 0 utenti iscritti e 2 ospiti