!SlMumQZnFjwLRjWFbW:nixos.org

Nix + Doom Emacs

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

Load older messages

SenderMessageTime
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
@adam:valkor.net@adam:valkor.netIt assumes the doom.d directory is in the flake directory/repo12:43:06
@gavinrogers:matrix.orgGavin R ok so i put it in the same directory (i made a nixos folder in my homedir and symlinked /etc/nixos to it, seem to be working fine) and it's sitll now working, i've tried with and without quotes 13:23:34
@gavinrogers:matrix.orgGavin R 
error: syntax error, unexpected '.'

       at /nix/store/wigjj0vdkw0jrhvwpczajpgris6qdyil-source/home.nix:13:24:

           12|       enable = true;
           13|       doomPrivateDir = .doom.d;
             |                        ^
           14|     };

with no quotes

13:24:20
@gavinrogers:matrix.orgGavin R 
error: string '.doom.d' doesn't represent an absolute path

       at /nix/store/bb4m4r0yaxw884sg3ljpxsijnpdcwp1a-source/modules/home-manager.nix:23:83:

           22|       '';
           23|       apply = path: if lib.isStorePath path then path else builtins.path { inherit path; };
             |                                                                                   ^
           24|     };

with quotes

13:24:55
@ckie:ckie.devmei 🌒& Gavin R: ./.doom.d 14:31:01
@gavinrogers:matrix.orgGavin Rthanks!16:22:25
@gavinrogers:matrix.orgGavin R hmm still getting
error: string './.doom.d' doesn't represent an absolute path 		16:24:26
@gavinrogers:matrix.orgGavin Rok i fixed it. made sure my symlinks (i like keeping my config in my homedir) were ok and removed the double quotes and all is well16:46:08
@gavinrogers:matrix.orgGavin Rerg i spoke too soon16:55:23
@gavinrogers:matrix.orgGavin R 
building the system configuration...                                                                                         
error: builder for '/nix/store/jqvajznhf1l71xki56jjk8hcjh101fwa-emacs-straight-packages.json.drv' failed with exit code 255; 
       last 10 log lines:                                                                                                    
       >       (let ((temp-file (doom-path doom-user-dir filename)) (temp-buffer (gen...                                     
       >       (if (let ((p (let ((file filename)) (and (stringp file) (let ((default...                                     
       >       (let* ((template file) (filename (if template (car-safe (prog1 templat...                                     
       >       ((closure ((yes\?) (context . #s(doom-cli-context (25499 20286 853833 ...
       >       (mapc (closure ((yes\?) (context . #s(doom-cli-context (25499 20286 85...                                     
       >       (let ((doom-print-indent (+ (if t doom-print-indent-increment 0) doom-...                                     
       >       (if (eq config\? :no) (doom-print (doom-print--format (doom-print--cla...
       >       (let ((default-directory doom-emacs-dir) (yes\? (progn (or (progn (and...
       >     ! Wrote extended backtrace to /build/tmp.WnTRvLsVAJ/local/logs/cli.doom.221215164550.7.error
       > Opening output file: No such file or directory, /nix/store/gkx1higpi40h8nywz81kxczhw91080xs-.doom.d/init.el
       For full logs, run 'nix log /nix/store/jqvajznhf1l71xki56jjk8hcjh101fwa-emacs-straight-packages.json.drv'.
(use '--show-trace' to show detailed location information)
16:56:45
@gavinrogers:matrix.orgGavin Rfixed that error ! yay!17:22:49
@ckie:ckie.devmei 🌒&:317:30:12
@gavinrogers:matrix.orgGavin R do i need to install an external dependency for latex pdf export? i'm getting pdflatex: command not found 17:58:20
@ckie:ckie.devmei 🌒& Gavin R: my list 19:04:42
@mon:tchncs.deribosomerocker
In reply to@mon:tchncs.de

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?

i've checked the issues and there doesn't seem to be an issue like this, i assume this is just another case of my machine being cursed... 		19:49:09
@mon:tchncs.deribosomerockerwell, except my issue, but that issue was solved with this exact piece of code19:51:53
@mon:tchncs.deribosomerocker changed their profile picture.19:53:08
@gavinrogers:matrix.orgGavin R
In reply to @ckie:ckie.dev
Gavin R: my list
cool, thanks. why do you have your latex section commented out? 		21:41:01
@ckie:ckie.devmei 🌒&it's 5gb or something and latex errors are annoying as fuck21:41:19
@gavinrogers:matrix.orgGavin Rya i'm thinking about just copy/pasted my org tables from my CV into libreoffice and being done with it lol21:42:04
16 Dec 2022
@mon:tchncs.deribosomerockerWell, I've found nothing to fix it. I assume you guys don't know what's going on too?18:58:58

Show newer messages

Back to Room ListRoom Version: 9