nish.aravamudan at canonical.com
Mon Feb 5 16:19:19 UTC 2018
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.
More information about the Ubuntu-devel-discuss