99d3a24ac9
I'm typesetting a type system! `semantic` is the big winner here, but also `mathpartir` is nice Change-Id: I27ee91d30e0fe680377ce48f7539553fd0707684 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3212 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
108 lines
2.2 KiB
Nix
108 lines
2.2 KiB
Nix
{ pkgs, lib, config, ... }:
|
|
|
|
with lib;
|
|
|
|
let
|
|
# doom-emacs = pkgs.callPackage (builtins.fetchTarball {
|
|
# url = https://github.com/vlaci/nix-doom-emacs/archive/master.tar.gz;
|
|
# }) {
|
|
# doomPrivateDir = ./doom.d; # Directory containing your config.el init.el
|
|
# # and packages.el files
|
|
# };
|
|
|
|
depot = config.lib.depot;
|
|
|
|
in {
|
|
imports = [
|
|
./lib/cloneRepo.nix
|
|
];
|
|
|
|
# home.packages = [ doom-emacs ];
|
|
# home.file.".emacs.d/init.el".text = ''
|
|
# (load "default.el")
|
|
# '';
|
|
#
|
|
|
|
config = mkMerge [
|
|
{
|
|
home.packages = with pkgs; [
|
|
# LaTeX (for org export)
|
|
(pkgs.texlive.combine {
|
|
inherit (pkgs.texlive)
|
|
capt-of
|
|
collection-fontsrecommended
|
|
dvipng
|
|
fancyvrb
|
|
float
|
|
fncychap
|
|
framed
|
|
mathpartir
|
|
needspace
|
|
parskip
|
|
scheme-basic
|
|
semantic
|
|
tabulary
|
|
titlesec
|
|
ulem
|
|
upquote
|
|
varwidth
|
|
wrapfig
|
|
;
|
|
})
|
|
|
|
ispell
|
|
|
|
ripgrep
|
|
coreutils
|
|
fd
|
|
clang
|
|
gnutls
|
|
emacsPackages.telega
|
|
];
|
|
|
|
programs.emacs = {
|
|
enable = true;
|
|
package = pkgs.emacsUnstable;
|
|
extraPackages = (epkgs:
|
|
(with epkgs; [
|
|
tvlPackages.dottime
|
|
tvlPackages.tvl
|
|
vterm
|
|
telega
|
|
])
|
|
);
|
|
};
|
|
|
|
grfn.impure.clonedRepos = {
|
|
orgClubhouse = {
|
|
github = "glittershark/org-clubhouse";
|
|
path = "code/org-clubhouse";
|
|
};
|
|
|
|
doomEmacs = {
|
|
github = "hlissner/doom-emacs";
|
|
path = ".emacs.d";
|
|
after = ["emacs.d"];
|
|
onClone = "bin/doom install";
|
|
};
|
|
|
|
"emacs.d" = {
|
|
github = "glittershark/emacs.d";
|
|
path = ".doom.d";
|
|
after = ["orgClubhouse"];
|
|
};
|
|
};
|
|
|
|
programs.zsh.shellAliases = {
|
|
"ec" = "emacsclient";
|
|
};
|
|
}
|
|
(mkIf pkgs.stdenv.isLinux {
|
|
# Notes
|
|
services.syncthing = {
|
|
enable = true;
|
|
tray = true;
|
|
};
|
|
})
|
|
];
|
|
}
|