How to specify custom remappings with keyboard-layout?

yout record, but both the documentation and the code aren't too clear on how I'd go about doing that. I'd appreciate any pointers. Regards, Jakub Kądziołka signature.asc Description: PGP signature

Re: How to specify custom remappings with keyboard-layout?

ealize that I actually use SLiM.) Is there an equivalent file I could use to run a command when the login manager is starting? Regards, Jakub Kądziołka signature.asc Description: PGP signature

Re: Unable to edit pulseaudio config file

erit config) (script-file "/home/nathan/.config/pulse/default.pa" Note that the file-append you've suggested would result in a path like /gnu/store/...-pulseaudio/home/nathan/.config/pulse/default.pa Regards, Jakub Kądziołka signature.asc Description: PGP signature

Using Haskell library packages - linker error

returned 1 exit status `gcc' failed in phase `Linker'. (Exit code: 1) How can I fix this error? Am I doing something wrong, or is this a packaging bug? Regards, Jakub Kądziołka signature.asc Description: PGP signature

Re: Using Haskell library packages - linker error

On Mon, Sep 07, 2020 at 09:50:51AM -0400, Timothy Sample wrote: > Hi Jakub, > > Jakub Kądziołka writes: > > > I am trying to set up Agda, and I have reduced it to a simpler problem: > > > > $ cat test.hs > > import Numeric.IEEE > > > > main =