On 29/09/17 09:01, Bardot Jérôme wrote:
> Le 28/09/2017 à 13:41, Arnt Karlsen a écrit :
>> On Thu, 28 Sep 2017 09:40:54 +0200, Bardot wrote in message
>> :
>>
>>> Le 27/09/2017 à 18:24, Edward Bartolo a écrit :
Quote: "Yes, we do want them, because we want enough users of Gnome
here so w
On Sun, Oct 01, 2017 at 11:21:30AM +0300, Lars Noodén wrote:
> I've just done a clean installation of Devuan Jessie and then migrated
> to Devuan Ascii, both with XFCE as the desktop environment. There,
> /usr/bin/xfce4-keyboard-settings allows setting keyboard shortcuts for
> most keys:
>
> Sett
