Compare commits
3 Commits
21ed23a8df
...
43ae058c27
Author | SHA1 | Date | |
---|---|---|---|
43ae058c27 | |||
eae1582008 | |||
cc7bb2aaba |
|
@ -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)
|
||||||
|
|
|
@ -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;
|
|
||||||
};
|
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue
Block a user