On Mon, Feb 5, 2018 at 5:59 AM, J Fernyhough <j.fernyho...@gmail.com> wrote: > On 5 February 2018 at 13:53, Ralf ranfyy <ran...@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 -- Ubuntu-devel-discuss mailing list Ubuntu-devel-discuss@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-devel-discuss
