Re: Problem with keyboard layout

2018-10-24 Thread Stefan Wollny
PROBLEM SOLVED! :-) Am 24.10.18 um 09:49 schrieb Matthieu Herrb: > On Wed, Oct 24, 2018 at 08:41:41AM +0200, Stefan Wollny wrote: >> Am 24.10.18 um 07:40 schrieb Matthieu Herrb: >>> On Tue, Oct 23, 2018 at 01:19:18PM +0200, Stefan Wollny wrote: Am 22.10.18 um 10:45 schrieb Stefan Wollny:

Re: Problem with keyboard layout

2018-10-24 Thread Matthieu Herrb
On Wed, Oct 24, 2018 at 08:41:41AM +0200, Stefan Wollny wrote: > Am 24.10.18 um 07:40 schrieb Matthieu Herrb: > > On Tue, Oct 23, 2018 at 01:19:18PM +0200, Stefan Wollny wrote: > >> Am 22.10.18 um 10:45 schrieb Stefan Wollny: > >>> Am 10/22/18 um 9:57 AM schrieb Stefan Wollny: > >>> [ ... ] >

Re: Problem with keyboard layout

2018-10-23 Thread Stefan Wollny
Am 24.10.18 um 07:40 schrieb Matthieu Herrb: > On Tue, Oct 23, 2018 at 01:19:18PM +0200, Stefan Wollny wrote: >> Am 22.10.18 um 10:45 schrieb Stefan Wollny: >>> Am 10/22/18 um 9:57 AM schrieb Stefan Wollny: >>> [ ... ] $ cat /etc/wsconsctl.conf | grep encoding keyboard.encoding=de

Re: Problem with keyboard layout

2018-10-23 Thread Matthieu Herrb
On Tue, Oct 23, 2018 at 01:19:18PM +0200, Stefan Wollny wrote: > Am 22.10.18 um 10:45 schrieb Stefan Wollny: > > Am 10/22/18 um 9:57 AM schrieb Stefan Wollny: > > [ ... ] > >> > >> $ cat /etc/wsconsctl.conf | grep encoding > >> keyboard.encoding=de# use different keyboard encoding > >>

Re: Problem with keyboard layout

2018-10-23 Thread Stefan Wollny
Am 22.10.18 um 10:45 schrieb Stefan Wollny: > Am 10/22/18 um 9:57 AM schrieb Stefan Wollny: > [ ... ] >> >> $ cat /etc/wsconsctl.conf | grep encoding >> keyboard.encoding=de# use different keyboard encoding >> >> Yet this setting seems not to be recognized: >> $ doas wsconsctl | grep en

Re: Problem with keyboard layout

2018-10-22 Thread Stefan Wollny
Am 10/22/18 um 9:57 AM schrieb Stefan Wollny: [ ... ] > > $ cat /etc/wsconsctl.conf | grep encoding > keyboard.encoding=de# use different keyboard encoding > > Yet this setting seems not to be recognized: > $ doas wsconsctl | grep encoding > keyboard.encoding=unknown_0 > [ ... ] Addi