There is no 'man gnome-shell-extension-tool'
Bug #1030309 reported by
Detlef Lechner
This bug affects 2 people
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
gnome-shell (Ubuntu) |
Confirmed
|
Low
|
Unassigned |
Bug Description
There is no 'man gnome-shell-
'~$ man gnome-shell-
Kein Handbucheintrag für gnome-shell-
ProblemType: Bug
DistroRelease: Ubuntu 12.04
Package: gnome-shell 3.4.1-0ubuntu2
ProcVersionSign
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)
tags: | added: artful |
Changed in gnome-shell (Ubuntu): | |
importance: | Undecided → Low |
status: | Confirmed → Triaged |
tags: |
added: bionic removed: artful precise quantal |
To post a comment you must log in.
Thanks for reporting this issue.
Gnome-shell- extension- tool does not have a manpage in gnome-shell 3.5.4-0ubuntu1 on Ubuntu Quantal either.