nix-config/modules/home.nix

163 lines
3.4 KiB
Nix
Raw Normal View History

{ pkgs, lib, config, home-manager, nix-darwin, inputs, ... }: {
home.packages = with pkgs; [
2022-12-23 00:32:36 +00:00
((emacsPackagesFor emacsGit).emacsWithPackages
2022-09-19 14:23:37 +00:00
(epkgs: with epkgs; [
vterm
pdf-tools
2022-09-20 19:14:28 +00:00
pkgs.mu
2022-09-19 14:23:37 +00:00
]))
(aspellWithDicts
(dpkgs: with dpkgs; [
en
en-computers
en-science
nb
]))
(python3.withPackages
(python-packages: with python-packages; [
graphviz
2023-01-08 00:31:05 +00:00
hypothesis
matplotlib
numpy
pandas
2022-10-24 16:35:22 +00:00
pygments
2023-01-16 22:29:25 +00:00
python-lsp-server
2023-01-08 00:31:05 +00:00
scipy
scikit-learn
2023-01-08 00:31:05 +00:00
z3
]))
2023-03-29 21:30:21 +00:00
(haskell.packages.ghc96.ghcWithPackages
2023-01-24 22:16:06 +00:00
(ps: with ps; [
QuickCheck
]))
2022-09-19 09:38:12 +00:00
bat
2022-10-21 12:14:37 +00:00
cbqn
2022-10-08 21:25:21 +00:00
cloc
clojure
fd
2022-09-19 14:06:07 +00:00
ffmpeg
2022-09-19 14:23:37 +00:00
fzf
go
2023-01-30 22:34:41 +00:00
gopls
graphviz
2022-09-19 14:23:37 +00:00
htop
inkscape
2023-01-24 22:16:06 +00:00
jdk
jq
leiningen
maude-mac
2022-09-19 14:23:37 +00:00
nixpkgs-fmt
pandoc
parallel
pdf2svg
2023-01-24 22:16:06 +00:00
poppler_utils
ripgrep
2022-09-19 14:24:16 +00:00
rnix-lsp
2023-05-30 11:33:53 +00:00
# rust-analyzer
rustup
2022-11-03 11:25:37 +00:00
shortcat
2023-01-24 22:16:06 +00:00
stack
texlive.combined.scheme-full
tree
wget
];
2022-09-19 14:23:37 +00:00
# Somehow related to: https://github.com/NixOS/nixpkgs/issues/1000
home.file.".aspell.conf".text = "data-dir ${pkgs.aspell}/lib/aspell";
2022-09-20 19:14:28 +00:00
accounts.email = {
accounts.uio = {
address = "larstvei@ifi.uio.no";
userName = "larstvei@ifi.uio.no";
realName = "Lars Tveito";
imap.host = "imap.uio.no";
smtp.host = "smtp.uio.no";
mbsync = {
enable = true;
create = "maildir";
# Because of Office 365, see: https://kdecherf.com/blog/2017/05/01/mbsync-and-office-365/
extraConfig.account.Timeout = 120;
extraConfig.account.PipelineDepth = 1;
};
msmtp.enable = true;
mu.enable = true;
primary = true;
passwordCommand = "security find-internet-password -s imap.uio.no -a larstvei -w";
};
};
2022-09-19 14:23:37 +00:00
programs = {
fzf = {
enable = true;
enableFishIntegration = true;
};
2022-09-19 14:23:37 +00:00
fish = {
enable = true;
2022-09-19 14:23:37 +00:00
functions = {
track_directories = {
description = "For directory tracking in emacs vterm";
onEvent = "fish_postexec";
body = "printf \'\\e]51;A\'(pwd)\'\\e\\\\\'";
};
};
2022-09-19 14:23:37 +00:00
shellInit = ''
set PATH "$PATH:/usr/local/texlive/2022/bin/universal-darwin/"
2023-02-18 20:06:14 +00:00
export DIRENV_LOG_FORMAT=
if test "$TERM" != "dumb"
track_directories
end
2022-09-19 14:23:37 +00:00
'';
};
2022-09-19 14:23:37 +00:00
starship = {
enable = true;
settings = {
character = {
success_symbol = "[λ](bold green)";
error_symbol = "[λ](bold red)";
};
};
};
git = {
enable = true;
userName = "larstvei";
userEmail = "larstvei@ifi.uio.no";
ignores = [ ".dir-locals.el" ".envrc" ".DS_Store" ];
};
2023-02-18 20:06:14 +00:00
direnv = {
enable = true;
nix-direnv.enable = true;
};
2022-09-20 19:14:28 +00:00
mu.enable = true;
msmtp.enable = true;
mbsync.enable = true;
2022-11-03 11:25:27 +00:00
# Sets JAVA_HOME environment variable
java.enable = true;
2022-09-19 14:23:37 +00:00
# Let Home Manager install and manage itself.
home-manager.enable = true;
};
# This value determines the Home Manager release that your
# configuration is compatible with. This helps avoid breakage
# when a new Home Manager release introduces backwards
# incompatible changes.
#
# You can update Home Manager without changing this value. See
# the Home Manager release notes for a list of state version
# changes in each release.
home.stateVersion = "22.05";
}