On Mon, Feb 5, 2018 at 5:59 AM, J Fernyhough wrote:
> On 5 February 2018 at 13:53, Ralf ranfyy 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,
On 5 February 2018 at 13:53, Ralf ranfyy 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
J Fernyhough schrieb am Mo., 5. Feb. 2018 um
12:06 Uhr:
> On 5 February 2018 at 03:07, Technical Clarity
> wrote:
> > I'm looking for the code to participate and improve.
>
> The package page
> (https://packages.ubuntu.com/bionic/gnome-shell-extension-ubuntu-dock)
> links to the home page
> (htt
On 5 February 2018 at 03:07, Technical Clarity wrote:
> I'm looking for the code to participate and improve.
The package page
(https://packages.ubuntu.com/bionic/gnome-shell-extension-ubuntu-dock)
links to the home page
(https://github.com/micheleg/dash-to-dock/tree/ubuntu-dock).
J
--
Ubuntu-d
