ellmau/nixos
1
0
Fork 0
mirror of https://github.com/ellmau/nixos.git synced 2025-12-21 09:49:39 +01:00
Code Issues Projects Releases Wiki Activity

Compare commits

base: ellmau:83bf454c7ae6037fa16b6e5294cd81b032ee9136
Branches Tags
ellmau:main
ellmau:fix/zsh
ellmau:flake/packages
ellmau:release-23.05
ellmau:xmonad
ellmau:dap-mode
ellmau:service/gitea
ellmau:swayfy
ellmau:redesign/flake
..
compare: ellmau:ec760d7a448eb1c3301d062b03e484868d3e7aef
Branches Tags
ellmau:main
ellmau:fix/zsh
ellmau:flake/packages
ellmau:release-23.05
ellmau:xmonad
ellmau:dap-mode
ellmau:service/gitea
ellmau:swayfy
ellmau:redesign/flake

No commits in common. "83bf454c7ae6037fa16b6e5294cd81b032ee9136" and "ec760d7a448eb1c3301d062b03e484868d3e7aef" have entirely different histories.
83bf454c7a ... ec760d7a44

4 changed files with 16 additions and 43 deletions
Show Stats Expand all files Collapse all files

30
flake.lock generated
View File

@ -72,11 +72,11 @@
"nixpkgs-stable": "nixpkgs-stable" "nixpkgs-stable": "nixpkgs-stable"
}, },
"locked": { "locked": {
"lastModified": 1695639212, "lastModified": 1695292531,
"narHash": "sha256-RuFBZPJf1Y1t1HZByq95RQCoEJ4ANs05dLwd45pYdig=", "narHash": "sha256-ecwwOhZcLQZ+2R1GV5UWBBGGSt2bhxZ19ZY7PP1Pk9o=",
"owner": "nix-community", "owner": "nix-community",
"repo": "emacs-overlay", "repo": "emacs-overlay",
"rev": "f52764468eeaa05affd95c9b9236bb0e2dbf2555", "rev": "e6b40dbd73e82668ed06d4a1ee91f39fd2ffead3",
"type": "github" "type": "github"
}, },
"original": { "original": {
@ -248,11 +248,11 @@
}, },
"nixos-hardware": { "nixos-hardware": {
"locked": { "locked": {
"lastModified": 1695541019, "lastModified": 1695109627,
"narHash": "sha256-rs++zfk41K9ArWkDAlmBDlGlKO8qeRIRzdjo+9SmNFI=", "narHash": "sha256-4rpyoVzmunIG6xWA/EonnSSqC69bDBzciFi6SjBze/0=",
"owner": "NixOS", "owner": "NixOS",
"repo": "nixos-hardware", "repo": "nixos-hardware",
"rev": "61283b30d11f27d5b76439d43f20d0c0c8ff5296", "rev": "cb4dc98f776ddb6af165e6f06b2902efe31ca67a",
"type": "github" "type": "github"
}, },
"original": { "original": {
@ -326,11 +326,11 @@
}, },
"nixpkgs-stable": { "nixpkgs-stable": {
"locked": { "locked": {
"lastModified": 1695559356, "lastModified": 1694937365,
"narHash": "sha256-kXZ1pUoImD9OEbPCwpTz4tHsNTr4CIyIfXb3ocuR8sI=", "narHash": "sha256-iHZSGrb9gVpZRR4B2ishUN/1LRKWtSHZNO37C8z1SmA=",
"owner": "NixOS", "owner": "NixOS",
"repo": "nixpkgs", "repo": "nixpkgs",
"rev": "261abe8a44a7e8392598d038d2e01f7b33cf26d0", "rev": "5d017a8822e0907fb96f7700a319f9fe2434de02",
"type": "github" "type": "github"
}, },
"original": { "original": {
@ -358,11 +358,11 @@
}, },
"nixpkgs-unstable": { "nixpkgs-unstable": {
"locked": { "locked": {
"lastModified": 1695360818, "lastModified": 1694959747,
"narHash": "sha256-JlkN3R/SSoMTa+CasbxS1gq+GpGxXQlNZRUh9+LIy/0=", "narHash": "sha256-CXQ2MuledDVlVM5dLC4pB41cFlBWxRw4tCBsFrq3cRk=",
"owner": "NixOS", "owner": "NixOS",
"repo": "nixpkgs", "repo": "nixpkgs",
"rev": "e35dcc04a3853da485a396bdd332217d0ac9054f", "rev": "970a59bd19eff3752ce552935687100c46e820a5",
"type": "github" "type": "github"
}, },
"original": { "original": {
@ -374,11 +374,11 @@
}, },
"nixpkgs_2": { "nixpkgs_2": {
"locked": { "locked": {
"lastModified": 1695559356, "lastModified": 1694937365,
"narHash": "sha256-kXZ1pUoImD9OEbPCwpTz4tHsNTr4CIyIfXb3ocuR8sI=", "narHash": "sha256-iHZSGrb9gVpZRR4B2ishUN/1LRKWtSHZNO37C8z1SmA=",
"owner": "NixOS", "owner": "NixOS",
"repo": "nixpkgs", "repo": "nixpkgs",
"rev": "261abe8a44a7e8392598d038d2e01f7b33cf26d0", "rev": "5d017a8822e0907fb96f7700a319f9fe2434de02",
"type": "github" "type": "github"
}, },
"original": { "original": {

6
modules/emacs/default.el
View File

@ -640,12 +640,6 @@
:init :init
(apheleia-global-mode t)) (apheleia-global-mode t))
;; lean4-mode
(use-package lean4-mode
:defer t
:mode "\\.lean\\'"
:commands lean4-mode)
(custom-set-faces (custom-set-faces
;; custom-set-faces was added by Custom. ;; custom-set-faces was added by Custom.
;; If you edit it by hand, you could mess it up, so be careful. ;; If you edit it by hand, you could mess it up, so be careful.

2
modules/emacs/default.nix
View File

@ -95,7 +95,7 @@ with lib; let
yasnippet yasnippet
#zenburn-theme #zenburn-theme
] ]
++ (with lpkgs; [org-roam-ui ligatures lean4-mode]))); ++ (with lpkgs; [org-roam-ui ligatures])));
in { in {
options.elss.programs.emacs.enable = options.elss.programs.emacs.enable =
mkEnableOption "Setup emacs package and install it"; mkEnableOption "Setup emacs package and install it";

21
modules/emacs/packages.nix
View File

@ -32,25 +32,4 @@ in
sha256 = "baFDkfQLM2MYW2QhMpPnOMSfsLlcp9fO5xfyioZzOqg="; sha256 = "baFDkfQLM2MYW2QhMpPnOMSfsLlcp9fO5xfyioZzOqg=";
}; };
}; };
lean4-mode = trivialBuild {
pname = "lean4-mode";
version = "unstable-2023-07-14";
src = pkgs.fetchFromGitHub {
owner = "leanprover";
repo = "lean4-mode";
rev = "d1c936409ade7d93e67107243cbc0aa55cda7fd5";
sha256 = "tD5Ysa24fMIS6ipFc50OjabZEUge4riSb7p4BR05ReQ=";
};
packageRequires = with epkgs.melpaPackages; [
dash
f
flycheck
lsp-mode
magit
];
postInstall = ''
install -m=755 -D $src/data/abbreviations.json $out/share/emacs/site-lisp/data/abbreviations.json
'';
};
} }