Franz Thoma

Did a bit of debugging. Apparently the `AltGr` key is sent as keycode 225 (U+00E1) without modifiers. A breakpoint at [keymap-manager.coffee:496](https://github.com/atom/atom-keymap/blob/master/src/keymap-manager.coffee#L496) reveals that the keystroke is sent without any modifiers,...

@MaxGyver83 No, I haven't found a solution or workaround, but I haven't been using Atom for quite some time either.

The latest release does not build any more with Stackage LTS 12 and 13. I'm planning to release a new version, but until then, you can work around this by...

@quchen That is a good point. I see two alternatives currently: 1. Either change the config behavior to completely override the default config (rather than augmenting it). Then an empty/missing...

Same holds for the keybindings: Currently, the default bindings have to be unset explicitly using `unset`. So when changing the behavior for colors to (1), the same change should apply...

I just had a look at the code, and in fact the `terminal-default` value is easily achieved: This will fall back to the default config for line numbers: ```yaml colors:...

@maximilianhuber did you test yet?

It should not matter for `stack` whether or not you are in a `nix-shell`: The correct `ghc` version is fetched via Nix (when `--nix` is given), but the dependencies are...

This is a minimal script for generating `default.nix` and `shell.nix`: ```bash #!/usr/bin/env nix-shell #! nix-shell -p cabal2nix -i bash cabal2nix . > default.nix cabal2nix --shell . > shell.nix ```

@Airblader I agree. Since I've never created a `man` page yet, and since I'm not familiar with the format and the tooling around it, it might take a while for...