Dock does not change position nor icon size
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
gnome-shell-extension-ubuntu-dock (Ubuntu) |
Expired
|
Low
|
Unassigned |
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.
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:/
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-
ProcVersionSign
Uname: Linux 4.15.0-43-generic x86_64
NonfreeKernelMo
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)
PackageArchitec
SourcePackage: gnome-shell-
UpgradeStatus: No upgrade log present (probably fresh install)
PS: /askubuntu. com/questions/ 1061924/ ubuntu- wont-register- dock-settings- changes- in-18-04# new-answer I did not download GNOME-Tweaks afaik.
Differently from https:/