On 5 February 2018 at 13:53, Ralf ranfyy <[email protected]> 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 -- Ubuntu-devel-discuss mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-devel-discuss
