J Fernyhough j.fernyhough at gmail.com
Mon Feb 5 13:59:33 UTC 2018

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



More information about the Ubuntu-devel-discuss mailing list