ubuntu-dock-gnome

[J Fernyhough]

On 5 February 2018 at 13:53, Ralf ranfyy <ranfyy at gmail.com> wrote:
> It's better to do it the "Debian way":
> $ apt source gnome-shell-extension-ubuntu-dock
>
> sudo not required. This way you get the original source + patches applied
> (if any).

Cool, plenty of ways to get the source depending on what you want to
do with it, though any improvements/fixes/changes to the software
(rather than the package) should probably go upstream first.

If you want the Ubuntu-specific source I'll add another option based
on the .dsc file on the package page,

dget -u http://archive.ubuntu.com/ubuntu/pool/main/g/gnome-shell-extension-ubuntu-dock/gnome-shell-extension-ubuntu-dock_0.9.dsc

:)

J