Support cross platform vty 6.x with vty-crossplatform #1290
Conversation
|
|
| pure config { inputMap = (Nothing, "\ESC[6;2~", EvKey KPageDown [MShift]) : | ||
| (Nothing, "\ESC[5;2~", EvKey KPageUp [MShift]) : | ||
| inputMap defaultConfig } | ||
| config <- Vty.userConfig |
There was a problem hiding this comment.
Note:
The standardIOConfig has some unix specific configurations. From 6.x, it is gone. The closest is a function from vty-unix package.
|
Hi! to avoid duplicating efforts, please take a look at #1245 which also implements the newer vty |
Oh, I see! I will try the patch there and see if it passes the nixpkgs build, then I can abandon my own. |
|
I got echidna 2.2.3 fixed for nixpkgs. I saw 2.2.4 release, but that requires a newer commit of hevm, which is not in nixpkgs yet. |
|
is this still needed? |
|
As long as the patch in https://github.com/NixOS/nixpkgs/blob/nixos-unstable/pkgs/tools/security/echidna/default.nix#L11 will remain permanent? |
This is a draft to make the patch visible during fixing echidna in nixpkgs.
I have not updated this repo's flake.nix and fix the build yet..