ubuntu-dock-gnome

[Nish Aravamudan]

On Mon, Feb 5, 2018 at 5:59 AM, J Fernyhough <j.fernyhough at gmail.com> wrote:
> 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
>
> :)

There is also `pull-lp-source` and `pull-debian-source`, which do not
require knowing the DSC url nor modifying your sources.list.

-Nish