!SlMumQZnFjwLRjWFbW:nixos.org

Nix + Doom Emacs

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

You have reached the beginning of time (for this room).

SenderMessageTime
14 Dec 2022
@gefla:matrix.orgGerd Flaig Note the { ... }: bit. 21:40:33
@gavinrogers:matrix.orgGavin Roh um i think i might have fixed that part21:42:29
@gavinrogers:matrix.orgGavin R the error i'm getting now is building the system configuration... error: The option `home-manager.users.chran.home.stateVersion' is used but not defined. 21:42:52
@gavinrogers:matrix.orgGavin Rya it was actually deleting the ellipses which made that other error go away21:44:40
@gefla:matrix.orgGerd FlaigYou'll probably want stateVersion inside of your home manager configuration attribute set.21:50:55
@gavinrogers:matrix.orgGavin Rya my install of home manager isn't going great i might have to join that room and ask some questions21: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.orgGavin R Gerd Flaig: thanks so much 22: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.orgGavin R rehi, I've made some progress installing doom-emacs using flake.nix which calls home.nix. i have a (hopefully) simple question about doom.d - when i add it to my programs.doom-emacs configuration with a full path i get an error error: access to absolute path '/home/chran/.doom.d' is forbidden in pure eval mode (use '--impure' to override) 11:29:52
@gavinrogers:matrix.orgGavin R it seems like the README assumes that the doom.d directory is in /etc/nixos , is that right? it doesn't seem right 11:30:34

Show newer messages

Back to Room ListRoom Version: 9