Thank you for reporting this bug to Ubuntu. Ubuntu 17.10 (artful) reached end-of-life on July 19, 2018.
See this document for currently supported Ubuntu releases: https://wiki.ubuntu.com/Releases We appreciate that this bug may be old and you might not be interested in discussing it any more. But if you are then please upgrade to the latest Ubuntu version and re-test. If you then find the bug is still present in the newer Ubuntu version, please add a comment here telling us which new version it is in and change the bug status to Confirmed. ** Changed in: gnome-shell (Ubuntu) Status: Confirmed => Incomplete -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-shell in Ubuntu. https://bugs.launchpad.net/bugs/1712188 Title: Ubuntu 17.10: Cannot use shelltile extension in Ubuntu Session while it works fine in Gnome Session Status in gnome-shell package in Ubuntu: Incomplete Bug description: On Ubuntu 17.10 with artful-proposed enabled, I cannot use the shelltile extension in Ubuntu session. If you see the screenshot, it seems like both shelltile and gnome's built in tile feature work at the same time and the gnome's one is preferred (enabling shelltile from gnome-tweak should disable the built in functionality). However, shelltile works properly on Gnome session. I don't know if I should file this bug against gnome-shell or gnome- session (if I've understood correctly ubuntu-session is a sub package of gnome-session). ProblemType: Bug DistroRelease: Ubuntu 17.10 Package: gnome-shell 3.24.3-0ubuntu5 ProcVersionSignature: Ubuntu 4.12.0-12.13-generic 4.12.8 Uname: Linux 4.12.0-12-generic x86_64 ApportVersion: 2.20.6-0ubuntu6 Architecture: amd64 CurrentDesktop: ubuntu:GNOME Date: Mon Aug 21 22:57:51 2017 DisplayManager: gdm3 InstallationDate: Installed on 2017-08-21 (0 days ago) InstallationMedia: Ubuntu 17.10 "Artful Aardvark" - Alpha amd64 (20170820) SourcePackage: gnome-shell UpgradeStatus: No upgrade log present (probably fresh install) To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1712188/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : [email protected] Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
