Add rlwrap wrapper in flake.nix

Changes

2 changed files (+13/-7)

• flake.lock
  • @@ -2,11 +2,11 @@ {
    "nodes": { "nixpkgs": { "locked": { - "lastModified": 1781577229, - "narHash": "sha256-lrp67w8AulE9Ks53n27I45ADSzbOCn4H+CNW1Ck8B+8=", + "lastModified": 1782467914, + "narHash": "sha256-pGvFkM8N0xEkIIXDe5YYfbEAvHrk4IxBrjB/x8OomhE=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "567a49d1913ce81ac6e9582e3553dd90a955875f", + "rev": "e73de5be04e0eff4190a1432b946d469c794e7b4", "type": "github" }, "original": {
• flake.nix
  • @@ -29,10 +29,16 @@ patch -p1 < ../../../raylean.patch
    cd - ''; }; - apps.${system}.default = { - type = "app"; - program = "${self.packages.${system}.default}/bin/monotonicity"; - }; + apps.${system}.default = + let + wrapper = pkgs.writeShellScript "monotonicity" '' + exec ${pkgs.rlwrap}/bin/rlwrap ${self.packages.${system}.default}/bin/monotonicity "$@" + ''; + in + { + type = "app"; + program = "${wrapper}"; + }; formatter.${system} = pkgs.nixfmt-tree; }; }