** Tags removed: artful precise quantal ** Tags added: bionic -- 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/1030309
Title: There is no 'man gnome-shell-extension-tool' Status in gnome-shell package in Ubuntu: Confirmed Bug description: There is no 'man gnome-shell-extension-tool'. '~$ man gnome-shell-extension-tool ; Kein Handbucheintrag für gnome-shell-extension-tool vorhanden.' ProblemType: Bug DistroRelease: Ubuntu 12.04 Package: gnome-shell 3.4.1-0ubuntu2 ProcVersionSignature: Ubuntu 3.2.0-27.43-generic 3.2.21 Uname: Linux 3.2.0-27-generic x86_64 ApportVersion: 2.0.1-0ubuntu11 Architecture: amd64 Date: Sat Jul 28 15:36:11 2012 InstallationMedia: Ubuntu-Server 11.04 "Natty Narwhal" - Release amd64 (20110426) SourcePackage: gnome-shell UpgradeStatus: Upgraded to precise on 2012-05-15 (74 days ago) To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1030309/+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