mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-08-16 16:50:46 +03:00
fix nix/text-editor.nix
This commit is contained in:
parent
4bedaac811
commit
062602c043
@ -7,7 +7,7 @@ let
|
||||
${my-emacs}/bin/emacs -q -l ${init-file} $@
|
||||
'';
|
||||
in rec {
|
||||
idris2-mode = emacsPackages.melpaBuild {
|
||||
idris2-mode = emacsPackages.trivialBuild {
|
||||
pname = "idris2-mode";
|
||||
src = idris-emacs-src;
|
||||
packageRequires = with pkgs.emacsPackages.melpaPackages; [ prop-menu ];
|
||||
|
Loading…
Reference in New Issue
Block a user