Public bug reported:
sudo apt-get install -y gnome-shell-extension-autohidetopbar
gnome-shell-extension-tool -e hidetop...@mathieu.bidon.ca
nohup gnome-shell --replace &
gnome-tweaks & # can't enable/disable or configure top bar extension, not
shown
firefox https://extensions.gnome.org/local/ # can fonfigure top bar extension
Needing to visit a website to configure your own computer is uncivilized
and totally unacceptable to emergency responders.
The relavent packages are the newest available versions
||/ Name Version Architecture Description
+++-==============-============-============-=================================
ii gnome-shell 3.28.4-0ubun amd64 graphical shell for the GNOME des
ii gnome-shell-ex 20171126-2 all GNOME shell automatic topbar hide
ii gnome-tweaks 3.28.1-1 all tool to adjust advanced configura
ProblemType: Bug
DistroRelease: Ubuntu 18.04
Package: gnome-tweaks 3.28.1-1
ProcVersionSignature: Ubuntu 5.3.0-40.32~18.04.1-generic 5.3.18
Uname: Linux 5.3.0-40-generic x86_64
ApportVersion: 2.20.9-0ubuntu7.14
Architecture: amd64
CurrentDesktop: ubuntu:GNOME
Date: Mon Apr 20 05:37:54 2020
InstallationDate: Installed on 2019-05-02 (353 days ago)
InstallationMedia: Ubuntu 18.04.2 LTS "Bionic Beaver" - Release amd64 (20190210)
PackageArchitecture: all
SourcePackage: gnome-tweaks
UpgradeStatus: No upgrade log present (probably fresh install)
** Affects: gnome-tweaks (Ubuntu)
Importance: Undecided
Status: New
** Tags: amd64 apport-bug bionic
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1873773
Title:
can't configure hide top bar extension
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-tweaks/+bug/1873773/+subscriptions
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
