[GNOME Shell] Quali estensioni usate?

Il ritrovo della comunità dove confrontarsi e discutere sulle notizie dal mondo dell'informatica, di Ubuntu e di tutto quello che la riguarda, novità, pettegolezzi e quant'altro.
Avatar utente
jeremie2
Gruppo Documentazione
Gruppo Documentazione
Messaggi: 3534
Iscrizione: giovedì 1 giugno 2006, 16:39
Distribuzione: Ubuntu 23.10
Località: Casciana Terme
Contatti:

Re: [GNOME Shell] Quali estensioni usate?

Messaggio da jeremie2 »

Ecco qua altre 3 estensioni testate negli ultimi tempi:

- Desktop Icons NG (DING)
Se utilizzate le icone sul desktop potete dire addio all'estensione che trovate di default su Ubuntu. Questa e molto più completa (alle impostazioni si accede tramite clic destro sul desktop) e... alleluja... funziona il drag & drop dei file.
Personalmente tengo la scrivania sempre vuota, tranne quando ho a che fare con file temporanei. In quei casi trovo comodo parcheggiarli li in attesa di smistarli in una cartella o cancellarli, e poterli nuovamente trascinare è un tantinello più comodo.....

- Keypad Tiling
È un window tiling minimalista che funziona tramite combinazione di tasti [super] + [numero]. In questo periodo sto utilizzando la sessione Wayland è fa il suo in sostituzione di ShellTile che al momento funziona a intermittenza nella sessione Wayland.

- Snap Manager
Personalmente non uso i vari "Ubuntu/Gnome Software". Vado da riga di comando con apt e snap e al massimo Synaptic.
Questa estensione per snap si integra con la try icon dalla quale si possono selezionare le funzionalità desiderate (installazione, aggiornamento, ricerca, ecc..) e lei fa partire il comando in un terminale. Al momento trovo quasi tutto con i deb, quindi non la uso più tanto, tuttavia apprezzo una soluzione leggera ed efficace di questo tipo per "sfaticati" :D
Sai come funziona? ...scrivilo tu stesso nella Documentazione WiKi di Ubuntu-it
Avatar utente
ralf9000
Scoppiettante Seguace
Scoppiettante Seguace
Messaggi: 933
Iscrizione: venerdì 17 febbraio 2012, 16:54
Desktop: Gnome
Distribuzione: Ubuntu 22.04 LTS
Sesso: Maschile
Località: LV-426

Re: [GNOME Shell] Quali estensioni usate?

Messaggio da ralf9000 »

jeremie2 ha scritto:
domenica 8 novembre 2020, 12:45

- Desktop Icons NG (DING)
Se utilizzate le icone sul desktop potete dire addio all'estensione che trovate di default su Ubuntu. Questa e molto più completa (alle impostazioni si accede tramite clic destro sul desktop) e... alleluja... funziona il drag & drop dei file.
Personalmente tengo la scrivania sempre vuota, tranne quando ho a che fare con file temporanei. In quei casi trovo comodo parcheggiarli li in attesa di smistarli in una cartella o cancellarli, e poterli nuovamente trascinare è un tantinello più comodo.....
L'ho installata ed è nettamente più completa di quella di default. Ora la testo per un po' di tempo.
C'è da vedere se con successivi aggiornamenti non faccia problemi.
Grazie della dritta :birra:
"È uno che si gode la vita, come tutti quelli a cui è risparmiata la maledizione dell'intelligenza."
H.P. Lovercraft
Avatar utente
trekfan1
Moderatore Globale
Moderatore Globale
Messaggi: 23405
Iscrizione: domenica 21 maggio 2006, 10:51
Desktop: Gnome
Distribuzione: Ubuntu 23.10 e 24.04 (dev)
Sesso: Maschile
Località: Formigine (MO) | Accecante Asceta

Re: [GNOME Shell] Quali estensioni usate?

Messaggio da trekfan1 »

Se volete una dock stile MacOS e leggera potete installare Dash2Dock Lite ma per accedere alla dash bisogna premere il tasto SUPER (o windows che dir si voglia)

EDIT:

Per chi usa Unite adesso bisogna recarsi a questo url: https://github.com/hardpixel/unite-shell/releases l'autore ha dichiarato che non caricherà più i futuri update sulla piattaforma delle estensioni di Gnome (ignoro il motivo dato che non lo ha scritto)
Avatar utente
neolinux
Rampante Reduce
Rampante Reduce
Messaggi: 5706
Iscrizione: giovedì 11 dicembre 2008, 21:52
Contatti:

Re: [GNOME Shell] Quali estensioni usate?

Messaggio da neolinux »

Molte estensioni sono da aggiornare per ubuntu 22.04 (Gestore di estensioni) di gnome
Avatar utente
GjMan78
Rampante Reduce
Rampante Reduce
Messaggi: 5507
Iscrizione: mercoledì 22 novembre 2006, 19:15
Desktop: KdePlasma
Distribuzione: EndeavourOS
Sesso: Maschile
Località: ~/Italia/Lazio/Viterbo/

Re: [GNOME Shell] Quali estensioni usate?

Messaggio da GjMan78 »

neolinux ha scritto:
giovedì 16 novembre 2023, 18:30
Molte estensioni sono da aggiornare per ubuntu 22.04 (Gestore di estensioni) di gnome
aggiornale!
MacBook Pro - Intel i5-3210 - 16 Gbyte Ram DDR3 - SSD 500 Gbyte x 2
»»» 𝗙𝗮𝗶 𝗶𝗹 𝗕𝗮𝗰𝗸𝘂𝗽! ¯\_(ツ)_/¯
Avatar utente
neolinux
Rampante Reduce
Rampante Reduce
Messaggi: 5706
Iscrizione: giovedì 11 dicembre 2008, 21:52
Contatti:

Re: [GNOME Shell] Quali estensioni usate?

Messaggio da neolinux »

GjMan78 ha scritto:
giovedì 16 novembre 2023, 18:57
neolinux ha scritto:
giovedì 16 novembre 2023, 18:30
Molte estensioni sono da aggiornare per ubuntu 22.04 (Gestore di estensioni) di gnome
aggiornale!
Ma prima ancora di installare le estensioni (Gestore di estensioni) di gnome afferma che molte estensioni non sono per ubuntu 22.04, non sono aggiornabili da me, molti aggiornamenti non ce ne sono.
Avatar utente
GjMan78
Rampante Reduce
Rampante Reduce
Messaggi: 5507
Iscrizione: mercoledì 22 novembre 2006, 19:15
Desktop: KdePlasma
Distribuzione: EndeavourOS
Sesso: Maschile
Località: ~/Italia/Lazio/Viterbo/

Re: [GNOME Shell] Quali estensioni usate?

Messaggio da GjMan78 »

Forse stai usando Unite?
trekfan1 ha scritto:
giovedì 19 ottobre 2023, 20:33
Per chi usa Unite adesso bisogna recarsi a questo url: https://github.com/hardpixel/unite-shell/releases l'autore ha dichiarato che non caricherà più i futuri update sulla piattaforma delle estensioni di Gnome (ignoro il motivo dato che non lo ha scritto)
MacBook Pro - Intel i5-3210 - 16 Gbyte Ram DDR3 - SSD 500 Gbyte x 2
»»» 𝗙𝗮𝗶 𝗶𝗹 𝗕𝗮𝗰𝗸𝘂𝗽! ¯\_(ツ)_/¯
Scrivi risposta

Ritorna a “Bar Ubuntu”

Chi c’è in linea

Visualizzano questa sezione: Senbee e 25 ospiti