Compare commits

...

3 Commits

Author SHA1 Message Date
43ae058c27 Readd rust-analyzer 2024-06-05 00:44:47 +02:00
eae1582008 byebye emacs 2024-06-05 00:44:38 +02:00
cc7bb2aaba Alloy 2024-06-05 00:44:26 +02:00
2 changed files with 17 additions and 13 deletions

View File

@ -44,7 +44,7 @@ in rec {
# nodePackages.typescript # nodePackages.typescript
# nodePackages.typescript-language-server # nodePackages.typescript-language-server
# rust-analyzer rust-analyzer
zulip-term zulip-term
# (extras.challtools python311Packages) # (extras.challtools python311Packages)

View File

@ -2,21 +2,25 @@
let let
alacritty = import ./alacritty/alacritty.nix pkgs; alacritty = import ./alacritty/alacritty.nix pkgs;
alloy6-mac = pkgs.stdenv.mkDerivation rec {
name = "alloy6";
version = "6.0.0";
src = pkgs.fetchurl {
url = "https://github.com/AlloyTools/org.alloytools.alloy/releases/download/v${version}/alloy.dmg";
sha256 = "sha256-tRMAQQuWq+aWvhS+mLUnfIpzLw1ydepiuD16uFFRvlI=";
};
nativeBuildInputs = [ pkgs.undmg ];
sourceRoot = ".";
installPhase = ''
mkdir -p $out/Applications
cp -r Alloy.app $out/Applications
'';
};
in rec { in rec {
home.packages = with pkgs; [ home.packages = with pkgs; [
fira-code ibm-plex fira-code ibm-plex
]; ] ++ (if pkgs.stdenv.isDarwin then [alloy6-mac] else [pkgs.alloy6]);
programs.alacritty = alacritty; programs.alacritty = alacritty;
programs.emacs = {
package = pkgs.emacs;
enable = true;
extraPackages = epkgs: with epkgs; [
vterm bind-key rust-mode lsp-mode company meow agda2-mode haskell-mode
terraform-mode nix-mode insert-kaomoji
];
extraConfig = builtins.readFile ../dotfiles/init.el;
};
} }