primrose/.files
1
0
Fork 0
mirror of https://codeberg.org/leana8959/.files.git synced 2026-02-01 14:39:39 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

overlays/pin-emacs28: drop

Browse source 
I suspect that agda toolchain has moved on and I can use a newer emacs
This commit is contained in:
Primrose 2026-01-15 21:33:06 +01:00
parent 085442e442
commit daf4d2901e
Signed by: primrose
GPG key ID: 4E887A4CA9714ADA
3 changed files with 0 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

3
nix/configurations/vanadium.nix
View file

@ -64,9 +64,6 @@ in
./vanadium/overlay.nix ./vanadium/overlay.nix
./vanadium/kernel-overlay.nix ./vanadium/kernel-overlay.nix
# removed, but I need it for PLFA!
../overlays/pin-emacs28.nix
# use lix everywhere and wrap it with nom # use lix everywhere and wrap it with nom
../overlays/lix.nix ../overlays/lix.nix
../overlays/nix-monitored.nix ../overlays/nix-monitored.nix

4
nix/configurations/vanadium/home/programs.nix
View file

@ -118,10 +118,6 @@
enable = true; enable = true;
defaultEditor = true; defaultEditor = true;
}; };
emacs = {
enable = true;
package = pkgs.unsafe-emacs28;
};
lazygit.enable = true; lazygit.enable = true;
fish = { fish = {
enable = true; enable = true;

6
nix/overlays/pin-emacs28.nix
View file

@ -1,6 +0,0 @@
let
sources = import ../../npins;
in
_: _: {
unsafe-emacs28 = (import sources.pin-emacs28 { }).emacs;
}