[Desktop-packages] [Bug 1814889] Re: Dock does not change position nor icon size
[Expired for gnome-shell-extension-ubuntu-dock (Ubuntu) because there has been no activity for 60 days.] ** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu) Status: Incomplete => Expired -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-shell-extension-ubuntu-dock in Ubuntu. https://bugs.launchpad.net/bugs/1814889 Title: Dock does not change position nor icon size Status in gnome-shell-extension-ubuntu-dock package in Ubuntu: Expired Bug description: I cannot change the position of the dock. How to reproduce (on my system): Either: (a) open the settings -> Dock and select a different value for the dock, e.g. "Bottom", or (b) enter "gsettings set org.gnome.shell.extensions.dash-to-dock dock-position BOTTOM" in the command line Expected result: In both cases, the dock should move to the bottom of the screen. Actual result: The dock remains at the same position. Additional observations: 1. I also cannot change the icon size (only tried via GUI, not command line). 2. All the behavior is observed no matter what other settings (auto-hide, show on) I pick. 3. This describes a similar (the same?) problem: https://askubuntu.com/questions/1061924/ubuntu-wont-register-dock-settings-changes-in-18-04#new-answer Screenshots are attached. Please let me know if I should provide additional information. I am a fairly technical user, and I am willing to put in some effort to get this resolved. ProblemType: Bug DistroRelease: Ubuntu 18.04 Package: gnome-shell-extension-ubuntu-dock 0.9.1ubuntu18.04.3 ProcVersionSignature: Ubuntu 4.15.0-43.46-generic 4.15.18 Uname: Linux 4.15.0-43-generic x86_64 NonfreeKernelModules: nvidia_modeset nvidia ApportVersion: 2.20.9-0ubuntu7.5 Architecture: amd64 CurrentDesktop: ubuntu:GNOME Date: Wed Feb 6 12:51:39 2019 InstallationDate: Installed on 2018-11-20 (77 days ago) InstallationMedia: Ubuntu 18.04.1 LTS "Bionic Beaver" - Release amd64 (20180725) PackageArchitecture: all SourcePackage: gnome-shell-extension-ubuntu-dock UpgradeStatus: No upgrade log present (probably fresh install) To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1814889/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
[Desktop-packages] [Bug 1814889] Re: Dock does not change position nor icon size
Could you add your journalctl log from the session which had the issue? ** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu) Importance: Undecided => Low ** Changed in: gnome-shell-extension-ubuntu-dock (Ubuntu) Status: New => Incomplete -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-shell-extension-ubuntu-dock in Ubuntu. https://bugs.launchpad.net/bugs/1814889 Title: Dock does not change position nor icon size Status in gnome-shell-extension-ubuntu-dock package in Ubuntu: Incomplete Bug description: I cannot change the position of the dock. How to reproduce (on my system): Either: (a) open the settings -> Dock and select a different value for the dock, e.g. "Bottom", or (b) enter "gsettings set org.gnome.shell.extensions.dash-to-dock dock-position BOTTOM" in the command line Expected result: In both cases, the dock should move to the bottom of the screen. Actual result: The dock remains at the same position. Additional observations: 1. I also cannot change the icon size (only tried via GUI, not command line). 2. All the behavior is observed no matter what other settings (auto-hide, show on) I pick. 3. This describes a similar (the same?) problem: https://askubuntu.com/questions/1061924/ubuntu-wont-register-dock-settings-changes-in-18-04#new-answer Screenshots are attached. Please let me know if I should provide additional information. I am a fairly technical user, and I am willing to put in some effort to get this resolved. ProblemType: Bug DistroRelease: Ubuntu 18.04 Package: gnome-shell-extension-ubuntu-dock 0.9.1ubuntu18.04.3 ProcVersionSignature: Ubuntu 4.15.0-43.46-generic 4.15.18 Uname: Linux 4.15.0-43-generic x86_64 NonfreeKernelModules: nvidia_modeset nvidia ApportVersion: 2.20.9-0ubuntu7.5 Architecture: amd64 CurrentDesktop: ubuntu:GNOME Date: Wed Feb 6 12:51:39 2019 InstallationDate: Installed on 2018-11-20 (77 days ago) InstallationMedia: Ubuntu 18.04.1 LTS "Bionic Beaver" - Release amd64 (20180725) PackageArchitecture: all SourcePackage: gnome-shell-extension-ubuntu-dock UpgradeStatus: No upgrade log present (probably fresh install) To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1814889/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
[Desktop-packages] [Bug 1814889] Re: Dock does not change position nor icon size
It works again after a reboot. So for me, the issue is okay now -- which does not mean things like this should happen. I will let you know in case I find a way to reliably reproduce the behavior. -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-shell-extension-ubuntu-dock in Ubuntu. https://bugs.launchpad.net/bugs/1814889 Title: Dock does not change position nor icon size Status in gnome-shell-extension-ubuntu-dock package in Ubuntu: New Bug description: I cannot change the position of the dock. How to reproduce (on my system): Either: (a) open the settings -> Dock and select a different value for the dock, e.g. "Bottom", or (b) enter "gsettings set org.gnome.shell.extensions.dash-to-dock dock-position BOTTOM" in the command line Expected result: In both cases, the dock should move to the bottom of the screen. Actual result: The dock remains at the same position. Additional observations: 1. I also cannot change the icon size (only tried via GUI, not command line). 2. All the behavior is observed no matter what other settings (auto-hide, show on) I pick. 3. This describes a similar (the same?) problem: https://askubuntu.com/questions/1061924/ubuntu-wont-register-dock-settings-changes-in-18-04#new-answer Screenshots are attached. Please let me know if I should provide additional information. I am a fairly technical user, and I am willing to put in some effort to get this resolved. ProblemType: Bug DistroRelease: Ubuntu 18.04 Package: gnome-shell-extension-ubuntu-dock 0.9.1ubuntu18.04.3 ProcVersionSignature: Ubuntu 4.15.0-43.46-generic 4.15.18 Uname: Linux 4.15.0-43-generic x86_64 NonfreeKernelModules: nvidia_modeset nvidia ApportVersion: 2.20.9-0ubuntu7.5 Architecture: amd64 CurrentDesktop: ubuntu:GNOME Date: Wed Feb 6 12:51:39 2019 InstallationDate: Installed on 2018-11-20 (77 days ago) InstallationMedia: Ubuntu 18.04.1 LTS "Bionic Beaver" - Release amd64 (20180725) PackageArchitecture: all SourcePackage: gnome-shell-extension-ubuntu-dock UpgradeStatus: No upgrade log present (probably fresh install) To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1814889/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
[Desktop-packages] [Bug 1814889] Re: Dock does not change position nor icon size
PS: Differently from https://askubuntu.com/questions/1061924/ubuntu-wont-register-dock-settings-changes-in-18-04#new-answer I did not download GNOME-Tweaks afaik. -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-shell-extension-ubuntu-dock in Ubuntu. https://bugs.launchpad.net/bugs/1814889 Title: Dock does not change position nor icon size Status in gnome-shell-extension-ubuntu-dock package in Ubuntu: New Bug description: I cannot change the position of the dock. How to reproduce (on my system): Either: (a) open the settings -> Dock and select a different value for the dock, e.g. "Bottom", or (b) enter "gsettings set org.gnome.shell.extensions.dash-to-dock dock-position BOTTOM" in the command line Expected result: In both cases, the dock should move to the bottom of the screen. Actual result: The dock remains at the same position. Additional observations: 1. I also cannot change the icon size (only tried via GUI, not command line). 2. All the behavior is observed no matter what other settings (auto-hide, show on) I pick. 3. This describes a similar (the same?) problem: https://askubuntu.com/questions/1061924/ubuntu-wont-register-dock-settings-changes-in-18-04#new-answer Screenshots are attached. Please let me know if I should provide additional information. I am a fairly technical user, and I am willing to put in some effort to get this resolved. ProblemType: Bug DistroRelease: Ubuntu 18.04 Package: gnome-shell-extension-ubuntu-dock 0.9.1ubuntu18.04.3 ProcVersionSignature: Ubuntu 4.15.0-43.46-generic 4.15.18 Uname: Linux 4.15.0-43-generic x86_64 NonfreeKernelModules: nvidia_modeset nvidia ApportVersion: 2.20.9-0ubuntu7.5 Architecture: amd64 CurrentDesktop: ubuntu:GNOME Date: Wed Feb 6 12:51:39 2019 InstallationDate: Installed on 2018-11-20 (77 days ago) InstallationMedia: Ubuntu 18.04.1 LTS "Bionic Beaver" - Release amd64 (20180725) PackageArchitecture: all SourcePackage: gnome-shell-extension-ubuntu-dock UpgradeStatus: No upgrade log present (probably fresh install) To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1814889/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp