[Risolto] Come spostare icone sulla dock?

[el topo]

Salve a tutti. So che è un piccolo problema, ma mi piacerebbe risolverlo.
Da un po' di tempo, sul mio portatile, le icone della dock si sono bloccate nella loro posizione e se cerco di cambiare la loro posizione nell'elenco tornano al loro posto e, a volte, restano anche attaccate all'indicatore del mouse. Sul mio pc fisso posso invece tranquillamente spostare le icone nella posizione che voglio, senza problemi (ho confrontato le impostazioni con Editor dconf, ma sono uguali).
Inoltre, se vado nelle impostazioni, anche la grandezza delle icone fa quello che vuole: spostando il cursore a destra un po' si ingrandiscono un po' si rimpiccioliscono.
Qualcuno sa come risolvere?
Uso da tempo l'estensione Dash to dock senza problemi, ma può esserne la causa?
Grazie molte.

[dxgiusti]

stai parlando delle icone nel pannello superiore?

[el topo]

Grazie per la risposta.
No, parlo delle icone della barra che io ho a sinistra (scusa ma non vorrei aver sbagliato nome).

[dxgiusti]

non saprei cosa dirti. dash to dock non la conosco proprio e sinceramente, non so proprio a cosa serva.

[el topo]

E' un'estensione Gnome che serve a personalizzare la barra laterale, ma in realtà anche se la disttivo il problema rimane, credo dipenda da qualcosa d'altro, tanto più che sul mio pc fisso con stesso sistema operativo tutto funzione bene.

[dxgiusti]

sono andato a curiosare ed ho visto che hanno rilasciato diverse versioni in base a quale gnome si ha installato.
https://micheleg.github.io/dash-to-dock/
tu credo abbia gnome 3.28, magari verifica si la versione del tuo gnome che dell'estensione. di più non ti saprei dire.

[corradoventu]

Che versione di Ubuntu hai? su 18.04, 19.10 e 20.04 non occorre installare nulla, il dash-to-dock di default funziona abbastanza bene.
lo standard preinstallato su 20.04 è:

Codice: Seleziona tutto

corrado@corrado-x5-ff-0409:~$ apt policy gnome-shell-extension-ubuntu-dock
gnome-shell-extension-ubuntu-dock:
  Installed: 67ubuntu20.04.3
  Candidate: 67ubuntu20.04.3
  Version table:
 *** 67ubuntu20.04.3 500
        500 http://archive.ubuntu.com/ubuntu focal/main amd64 Packages
        500 http://archive.ubuntu.com/ubuntu focal/main i386 Packages
        100 /var/lib/dpkg/status
corrado@corrado-x5-ff-0409:~$ 

[el topo]

sono andato a curiosare ed ho visto che hanno rilasciato diverse versioni in base a quale gnome si ha installato.
https://micheleg.github.io/dash-to-dock/
tu credo abbia gnome 3.28, magari verifica si la versione del tuo gnome che dell'estensione. di più non ti saprei dire.

Ho gnome 3.28 e dash to dock 65... non mi risulta ci siano problemi. Non so perché improvvisamente la barra si è messa a non funzinare.

[el topo]

Grazie per la risposta.

Che versione di Ubuntu hai?

Ho ubuntu 18.04.4 e dando il comando che hai dato tu mi viene questo (dice 18.04.3 ma nelle impostazioni mi da 18.04.4)

Codice: Seleziona tutto

marco-asus@marco-ASUS:~$ apt policy gnome-shell-extension-ubuntu-dock
gnome-shell-extension-ubuntu-dock:
  Installato: 0.9.1ubuntu18.04.3
  Candidato:  0.9.1ubuntu18.04.3
  Tabella versione:
 *** 0.9.1ubuntu18.04.3 500
        500 http://archive.ubuntu.com/ubuntu bionic-updates/main amd64 Packages
        500 http://archive.ubuntu.com/ubuntu bionic-updates/main i386 Packages
        100 /var/lib/dpkg/status
     0.9.1 500
        500 http://archive.ubuntu.com/ubuntu bionic/main amd64 Packages
        500 http://archive.ubuntu.com/ubuntu bionic/main i386 Packages

Ma secondo te devo disinstallare dash to dock?

[corradoventu]

Non ho mai usato dash-to-dock ma sempre solo il preinstallato, credo che senza disinstallarlo ci sia modo di disabilitarlo via tweaks,

[dxgiusti]

prova. al limite la rimetti. guardandola cosi, mi sembra un doppione della dash

[corradoventu]

prova. al limite la rimetti. guardandola cosi, mi sembra un doppione della dash

in effetti è quasi un doppione ma è nata prima come estensione separata (credo con il 17.10) quando ancora non esisteva quella standard di Ubuntu.
all'epoca funzionava meglio di quella standard

qui sotto la descrizione di gnome-shell-extension-ubuntu-dock che come vedi 'is a modified version of Dash To Dock'

Codice: Seleziona tutto

corrado@corrado-x5-ff-0409:~$ apt show gnome-shell-extension-ubuntu-dock
Package: gnome-shell-extension-ubuntu-dock
Version: 67ubuntu20.04.3
Priority: optional
Section: gnome
Origin: Ubuntu
Maintainer: Didier Roche <didrocks@ubuntu.com>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 651 kB
Depends: gnome-shell (<< 3.37), gnome-shell (>= 3.35.90), dconf-gsettings-backend | gsettings-backend
Replaces: gnome-shell-extension-dashtodock
Homepage: https://github.com/micheleg/dash-to-dock/blob/ubuntu-dock/README.md
Task: ubuntu-desktop-minimal, ubuntu-desktop
Supported: 5y
Download-Size: 72,2 kB
APT-Manual-Installed: no
APT-Sources: http://archive.ubuntu.com/ubuntu focal/main amd64 Packages
Description: Ubuntu Dock for GNOME Shell
 A dock for the Gnome Shell, default Ubuntu experience.
 .
 This extension is a modified version of Dash To Dock with different defaults.
 Dash To Dock can be installed to replace it and give more (but unsupported)
 configuration options.

corrado@corrado-x5-ff-0409:~$ 

[el topo]

In effetti ho risolto! Grazie.
Ho disattivato l'estensione ed ora funziona bene. Come ho scritto precedentemente, avevo già provato a disattivarla, ma ho fatto la stupidaggine di non riavviare ubuntu, così non era cambiato nulla.
Grazie ancora per i consigli e l'aiuto.
Metto Risolto nel titolo