Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!

Bug 481912

Summary: gnome-base/gnome-3.8: upgrade guide references to "dock" extension need updating
Product: Gentoo Linux Reporter: Pacho Ramos <pacho>
Component: [OLD] GNOMEAssignee: Gentoo Linux Gnome Desktop Team <gnome>
Status: RESOLVED FIXED    
Severity: normal    
Priority: Normal    
Version: unspecified   
Hardware: All   
OS: Linux   
Whiteboard:
Package list:
Runtime testing required: ---
Bug Depends on:    
Bug Blocks: 389719    

Description Pacho Ramos gentoo-dev 2013-08-21 10:28:29 UTC
Gnome 3.8 guide refers to a "dock" extension for gnome-shell... but I cannot find it. Does it have any replacement?
Comment 1 Joachim Bartosik (RETIRED) gentoo-dev 2013-08-22 19:11:52 UTC
Isn't it https://extensions.gnome.org/extension/17/dock/ ?
Comment 2 Pacho Ramos gentoo-dev 2013-08-22 20:03:31 UTC
For now I dropped references to it -> the commit in gnome-shell-extensions dropping it suggests that it wasn't "good enough" and maybe other docks in extensions would be better... but I can't check them now as my current connection looks to be too slow for extensions.gnome.org :S
Comment 3 Pacho Ramos gentoo-dev 2013-09-01 19:28:54 UTC
Maybe https://github.com/micheleg/dash-to-dock/ is another alternative, but I have no idea about which one is better :(
Comment 4 Pacho Ramos gentoo-dev 2013-09-02 18:42:11 UTC
Anyway, if we are not willing to provide an ebuild for it (letting people to enable it system wide and play with eselect gnome-shell extensions), we probably can simply not mention it :/
Comment 5 Pacho Ramos gentoo-dev 2013-09-05 19:21:47 UTC
the references were dropped time ago, if we finally package some kind of dock extension, we would update the guide anyway