2024-02-16 13:59:46 +01:00
|
|
|
{ pkgs, lib, config, inputs, ... }:
|
|
|
|
|
{
|
|
|
|
|
home.stateVersion = "23.11";
|
|
|
|
|
imports = [
|
|
|
|
|
./../common/default.nix
|
|
|
|
|
];
|
|
|
|
|
|
|
|
|
|
home.activation = {
|
|
|
|
|
trampolineApps = let
|
|
|
|
|
mac-app-util = inputs.mac-app-util.packages.${pkgs.stdenv.system}.default;
|
|
|
|
|
in lib.hm.dag.entryAfter [ "writeBoundary" ] ''
|
|
|
|
|
fromDir="$HOME/Applications/Home Manager Apps"
|
|
|
|
|
toDir="$HOME/Applications/Home Manager Trampolines"
|
|
|
|
|
${mac-app-util}/bin/mac-app-util sync-trampolines "$fromDir" "$toDir"
|
|
|
|
|
'';
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
home.packages = with pkgs; [
|
|
|
|
|
zsh
|
|
|
|
|
oh-my-zsh
|
|
|
|
|
coq
|
|
|
|
|
openvpn
|
|
|
|
|
ghc
|
|
|
|
|
haskell-language-server
|
|
|
|
|
cabal-install
|
|
|
|
|
haskellPackages.alex
|
|
|
|
|
haskellPackages.happy
|
|
|
|
|
python3
|
|
|
|
|
python3Packages.pygments
|
|
|
|
|
nodejs_20
|
|
|
|
|
iterm2
|
|
|
|
|
(agda.withPackages [
|
|
|
|
|
agdaPackages.standard-library
|
|
|
|
|
agdaPackages.agda-categories
|
|
|
|
|
])
|
|
|
|
|
texlive.combined.scheme-full
|
|
|
|
|
pandoc
|
|
|
|
|
gh
|
|
|
|
|
#yubico-pam
|
|
|
|
|
#yubikey-manager
|
|
|
|
|
# programs for emacs
|
|
|
|
|
emacs
|
|
|
|
|
fd
|
|
|
|
|
ripgrep
|
|
|
|
|
gnugrep
|
|
|
|
|
nixfmt
|
|
|
|
|
shellcheck
|
|
|
|
|
fontconfig
|
|
|
|
|
coreutils
|
|
|
|
|
coreutils-prefixed
|
|
|
|
|
];
|
|
|
|
|
|
|
|
|
|
programs.home-manager.enable = true;
|
|
|
|
|
programs.kitty = {
|
|
|
|
|
enable = true;
|
|
|
|
|
font.name = "Berkeley Mono";
|
|
|
|
|
|
|
|
|
|
};
|
|
|
|
|
programs.zsh = {
|
|
|
|
|
enable = true;
|
2024-02-25 21:03:35 +01:00
|
|
|
shellAliases = {
|
|
|
|
|
code = "codium";
|
|
|
|
|
};
|
2024-02-16 13:59:46 +01:00
|
|
|
oh-my-zsh = {
|
|
|
|
|
enable = true;
|
|
|
|
|
plugins = [ "git" ];
|
|
|
|
|
theme = "robbyrussell";
|
|
|
|
|
};
|
|
|
|
|
initExtra = ''
|
|
|
|
|
export PATH="/opt/homebrew/bin:$PATH"
|
|
|
|
|
'';
|
|
|
|
|
};
|
|
|
|
|
}
|
