Public bug reported:

I cannot change the position of the dock.

How to reproduce (on my system):

(a) open the settings -> Dock and select a different value for the dock, e.g. 
"Bottom", or
(b) enter "gsettings set 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:

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)

** Affects: gnome-shell-extension-ubuntu-dock (Ubuntu)
     Importance: Undecided
         Status: New

** Tags: amd64 apport-bug bionic

** Attachment added: "Screenshot showing GUI config and the dock that remains 
in place"

You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell-extension-ubuntu-dock
in Ubuntu.

  Dock does not change position nor icon size

To manage notifications about this bug go to:

desktop-bugs mailing list

Reply via email to