!SlMumQZnFjwLRjWFbW:nixos.org

Nix + Doom Emacs

231 Members
Running Doom Emacs with Nix | You probably want https://github.com/nix-community/nix-doom-emacs47 Servers

Load older messages

SenderMessageTime
14 Dec 2022
@gavinrogers:matrix.org@gavinrogers:matrix.orgRedacted or Malformed Event20:10:17
@gavinrogers:matrix.org@gavinrogers:matrix.orgRedacted or Malformed Event20:10:46
@mexisme:matrix.orgmexisme joined the room.20:25:21
@gefla:matrix.orgGerd Flaig
In reply to @gavinrogers:matrix.org
ok i got a working flake.nix in my /etc/nixos but when i put in the example in the README i get an error
I'm guessing you're referring to https://github.com/nix-community/nix-doom-emacs and part of the example for lost while copying. Specifically, the example surrounds the bits quoted in the error above with a list [..] argument to lib.mkMerge that then ends up in home-manager.users.exampleUser. In what context do you use the expression? Consider posting a link to your complete config. 		21:32:30
@gefla:matrix.orgGerd Flaig* I'm guessing you're referring to https://github.com/nix-community/nix-doom-emacs and part of the example got lost while copying. Specifically, the example surrounds the bits quoted in the error above with a list [..] argument to lib.mkMerge that then ends up in home-manager.users.exampleUser. In what context do you use the expression? Consider posting a link to your complete config.21:32:54
@gavinrogers:matrix.org@gavinrogers:matrix.orgRedacted or Malformed Event21:33:11
@gavinrogers:matrix.org@gavinrogers:matrix.orgRedacted or Malformed Event21:34:17
@gefla:matrix.orgGerd Flaig 
            { ... }: {
              programs.doom-emacs = {
                enable = true;
                doomPrivateDir = ./doom.d;
              };
            }
21:39:37
@gefla:matrix.orgGerd FlaigTry this in lines 21-26.21:40:18
@gefla:matrix.orgGerd Flaig Note the { ... }: bit. 21:40:33
@gavinrogers:matrix.org@gavinrogers:matrix.orgRedacted or Malformed Event21:42:29
@gavinrogers:matrix.org@gavinrogers:matrix.orgRedacted or Malformed Event21:42:52
@gavinrogers:matrix.org@gavinrogers:matrix.orgRedacted or Malformed Event21:44:40
@gefla:matrix.orgGerd FlaigYou'll probably want stateVersion inside of your home manager configuration attribute set.21:50:55
@gavinrogers:matrix.org@gavinrogers:matrix.orgRedacted or Malformed Event21:55:31
@gefla:matrix.orgGerd Flaig Looks like the example in the README is broken. When I dump the one in the comment at https://github.com/nix-community/nix-doom-emacs/blob/master/flake.nix#L3 in a fresh flake.nix in a new directory and run nix flake show inside, it parses successfully at least. See also https://gist.github.com/gefla/cff9bc5c12d28da865e2134e2c1a8e97 22:17:23
@gefla:matrix.orgGerd FlaigNeed to go AFK now, good luck!22:17:37
@gavinrogers:matrix.org@gavinrogers:matrix.orgRedacted or Malformed Event22:21:04
15 Dec 2022
@mon:tchncs.deribosomerockerimage.png
Download image.png		00:50:11
@mon:tchncs.deribosomerocker Well, hello again! I'm starting to have some time again which is why I'm prograrmming some hobby projects lately, mainly using Idris 2, and I thought to boot up Doom Emacs (i don't yet have enough free time to start working on the documentation PR again unfortrunately, though i see you're making some progress, though somewhat slow. keep going!). For whatever reason, the pictured error below appears when running idris2-mode. But... I do depend on prop-menu in my configuration:
```nix
doom-emacs = {
enable = true;
doomPrivateDir = ./doom;
extraPackages = [ pkgs.mu ];
emacsPackage = pkgs.emacsPgtkNativeComp;
emacsPackagesOverlay = self: super: {
idris2-mode = self.trivialBuild {
pname = "idris2-mode";
ename = "idris2-mode";
version = "0.0.0";
buildInputs = [ self.prop-menu ];
src = pkgs.fetchFromGitHub {
owner = "idris-community";
repo = "idris2-mode";
rev = "4a3f9cdb1a155da59824e39f0ac78ccf72f2ca97";
sha256 = "sha256-TxsGaG2fBRWWP9aas59kiNnUVD4ZdNlwwaFbM4+n81c=";
};
};
};
};
```
any idea what's going wrong? 		00:50:11
@mon:tchncs.deribosomerockerhm. my client's view of that codeblock is really bad. i can only hope that it looks better on other clients00:50:36
@mon:tchncs.deribosomerocker *

Well, hello again! I'm starting to have some time again which is why I'm prograrmming some hobby projects lately, mainly using Idris 2, and I thought to boot up Doom Emacs (i don't yet have enough free time to start working on the documentation PR again unfortrunately, though i see you're making some progress, though somewhat slow. keep going!). For whatever reason, the pictured error below appears when running idris2-mode. But... I do depend on prop-menu in my configuration:

doom-emacs = {
  enable = true;
  doomPrivateDir = ./doom;
  extraPackages = \[ pkgs.mu ];
  emacsPackage = pkgs.emacsPgtkNativeComp;
  emacsPackagesOverlay = self: super: {
    idris2-mode = self.trivialBuild {
      pname = "idris2-mode";
      ename = "idris2-mode";
      version = "0.0.0";
      buildInputs = \[ self.prop-menu ];
      src = pkgs.fetchFromGitHub {
        owner = "idris-community";
        repo = "idris2-mode";
        rev = "4a3f9cdb1a155da59824e39f0ac78ccf72f2ca97";
        sha256 = "sha256-TxsGaG2fBRWWP9aas59kiNnUVD4ZdNlwwaFbM4+n81c=";
      };
    };
  };
};

any idea what's going wrong?

00:50:45
@mon:tchncs.deribosomerockerI can remember that this used to work, but after updating my flake inputs and such, this appears to fail again00:52:19
@mon:tchncs.deribosomerocker *

Well, hello again! I'm starting to have some time again which is why I'm prograrmming some hobby projects lately, mainly using Idris 2, and I thought to boot up Doom Emacs (i don't yet have enough free time to start working on the documentation PR again unfortrunately, though i see you're making some progress, though somewhat slow. keep going!). For whatever reason, the pictured error below appears when running idris2-mode. But... I do depend on prop-menu in my configuration:

doom-emacs = {
  enable = true;
  doomPrivateDir = ./doom;
  extraPackages = \[ pkgs.mu ];
  emacsPackage = pkgs.emacsPgtkNativeComp;
  emacsPackagesOverlay = self: super: {
    idris2-mode = self.trivialBuild {
      pname = "idris2-mode";
      ename = "idris2-mode";
      version = "0.0.0";
      buildInputs = [ self.prop-menu ];
      src = pkgs.fetchFromGitHub {
        owner = "idris-community";
        repo = "idris2-mode";
        rev = "4a3f9cdb1a155da59824e39f0ac78ccf72f2ca97";
        sha256 = "sha256-TxsGaG2fBRWWP9aas59kiNnUVD4ZdNlwwaFbM4+n81c=";
      };
    };
  };
};

any idea what's going wrong?

00:52:42
@mon:tchncs.deribosomerocker *

Well, hello again! I'm starting to have some time again which is why I'm prograrmming some hobby projects lately, mainly using Idris 2, and I thought to boot up Doom Emacs (i don't yet have enough free time to start working on the documentation PR again unfortrunately, though i see you're making some progress, though somewhat slow. keep going!). For whatever reason, the pictured error below appears when running idris2-mode. But... I do depend on prop-menu in my configuration:

doom-emacs = {
  enable = true;
  doomPrivateDir = ./doom;
  extraPackages = [ pkgs.mu ];
  emacsPackage = pkgs.emacsPgtkNativeComp;
  emacsPackagesOverlay = self: super: {
    idris2-mode = self.trivialBuild {
      pname = "idris2-mode";
      ename = "idris2-mode";
      version = "0.0.0";
      buildInputs = [ self.prop-menu ];
      src = pkgs.fetchFromGitHub {
        owner = "idris-community";
        repo = "idris2-mode";
        rev = "4a3f9cdb1a155da59824e39f0ac78ccf72f2ca97";
        sha256 = "sha256-TxsGaG2fBRWWP9aas59kiNnUVD4ZdNlwwaFbM4+n81c=";
      };
    };
  };
};

any idea what's going wrong?

00:53:31
@gavinrogers:matrix.org@gavinrogers:matrix.orgRedacted or Malformed Event11:29:52
@gavinrogers:matrix.org@gavinrogers:matrix.orgRedacted or Malformed Event11:30:34
@adam:valkor.net@adam:valkor.netIt assumes the doom.d directory is in the flake directory/repo12:43:06
@gavinrogers:matrix.org@gavinrogers:matrix.orgRedacted or Malformed Event13:23:34
@gavinrogers:matrix.org@gavinrogers:matrix.orgRedacted or Malformed Event13:24:20

Show newer messages

Back to Room ListRoom Version: 9