mirror of
https://github.com/Smaug123/nix-dotfiles
synced 2025-10-11 01:18:39 +00:00
426 lines
12 KiB
Nix
426 lines
12 KiB
Nix
{
|
|
nixpkgs,
|
|
machinename,
|
|
username,
|
|
mbsync,
|
|
dotnet,
|
|
secretsPath,
|
|
...
|
|
}: {
|
|
# Let Home Manager install and manage itself.
|
|
programs.home-manager.enable = true;
|
|
|
|
# Home Manager needs a bit of information about you and the
|
|
# paths it should manage.
|
|
home.username = username;
|
|
|
|
# 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";
|
|
|
|
fonts.fontconfig.enable = true;
|
|
|
|
imports = [
|
|
# ./modules/agda.nix
|
|
# ./modules/emacs.nix
|
|
./modules/direnv.nix
|
|
./modules/tmux.nix
|
|
./modules/zsh.nix
|
|
./modules/ripgrep.nix
|
|
./modules/alacritty.nix
|
|
./modules/rust.nix
|
|
(import ./modules/mail.nix
|
|
{
|
|
inherit mbsync secretsPath;
|
|
pkgs = nixpkgs;
|
|
})
|
|
];
|
|
|
|
programs.fzf = {
|
|
enable = true;
|
|
};
|
|
|
|
programs.git = {
|
|
package = nixpkgs.gitAndTools.gitFull;
|
|
enable = true;
|
|
userName = "Smaug123";
|
|
userEmail = "3138005+Smaug123@users.noreply.github.com";
|
|
aliases = {
|
|
co = "checkout";
|
|
st = "status";
|
|
};
|
|
difftastic.enable = true;
|
|
extraConfig = {
|
|
commit.gpgsign = true;
|
|
gpg.program = "${nixpkgs.gnupg}/bin/gpg";
|
|
user.signingkey =
|
|
if machinename == "darwin"
|
|
then "7C97D679CF3BC4F9"
|
|
else if machinename == "earthworm"
|
|
then "6E8B1BA1148AD7C9"
|
|
else if machinename == "capybara"
|
|
then "AE90453E879DBCFA"
|
|
else throw "unrecognised machine name!";
|
|
core = {
|
|
autocrlf = "input";
|
|
};
|
|
rerere = {
|
|
enabled = true;
|
|
};
|
|
push = {
|
|
default = "current";
|
|
autoSetupRemote = true;
|
|
};
|
|
pull = {
|
|
rebase = false;
|
|
};
|
|
init = {
|
|
defaultBranch = "main";
|
|
};
|
|
advice = {
|
|
addIgnoredFile = false;
|
|
};
|
|
"filter \"lfs\"" = {
|
|
clean = "${nixpkgs.git-lfs} clean -- %f";
|
|
smudge = "${nixpkgs.git-lfs}/bin/git-lfs smudge --skip -- %f";
|
|
process = "${nixpkgs.git-lfs}/bin/git-lfs filter-process";
|
|
required = true;
|
|
};
|
|
pull = {
|
|
twohead = "ort";
|
|
};
|
|
merge = {
|
|
conflictStyle = "diff3";
|
|
};
|
|
diff = {
|
|
colorMoved = "default";
|
|
};
|
|
"protocol.file" = {
|
|
allow = "always";
|
|
};
|
|
};
|
|
};
|
|
|
|
programs.vscode = {
|
|
enable = true;
|
|
enableExtensionUpdateCheck = true;
|
|
enableUpdateCheck = true;
|
|
package = nixpkgs.vscode;
|
|
extensions = import ./vscode-extensions.nix {pkgs = nixpkgs;};
|
|
userSettings = {
|
|
workbench.colorTheme = "Default";
|
|
"files.Exclude" = {
|
|
"**/.git" = true;
|
|
"**/.DS_Store" = true;
|
|
"**/Thumbs.db" = true;
|
|
"**/*.olean" = true;
|
|
"**/result" = true;
|
|
};
|
|
"git.path" = "${nixpkgs.git}/bin/git";
|
|
"update.mode" = "none";
|
|
"explorer.confirmDelete" = false;
|
|
};
|
|
};
|
|
|
|
services.syncthing = {
|
|
enable = true;
|
|
};
|
|
|
|
programs.neovim = let
|
|
debugPyEnv = nixpkgs.python3.withPackages (ps: [ps.debugpy]);
|
|
in {
|
|
enable = true;
|
|
plugins = [
|
|
{
|
|
plugin = nixpkgs.vimPlugins.nvim-web-devicons;
|
|
}
|
|
{
|
|
plugin = nixpkgs.vimPlugins.mini-nvim;
|
|
}
|
|
{
|
|
plugin = nixpkgs.vimPlugins.satellite-nvim;
|
|
}
|
|
{
|
|
plugin = nixpkgs.vimPlugins.nvim-lightbulb;
|
|
type = "lua";
|
|
config = builtins.readFile ./nvim/nvim-lightbulb.lua;
|
|
}
|
|
{
|
|
plugin = nixpkgs.vimPlugins.lean-nvim;
|
|
type = "lua";
|
|
config = builtins.readFile ./nvim/lean.lua;
|
|
}
|
|
{
|
|
plugin = nixpkgs.vimPlugins.which-key-nvim;
|
|
type = "lua";
|
|
config = builtins.readFile ./nvim/which-key.lua;
|
|
}
|
|
{
|
|
plugin = nixpkgs.vimPlugins.tokyonight-nvim;
|
|
config = builtins.readFile ./nvim/tokyonight.lua;
|
|
type = "lua";
|
|
}
|
|
{
|
|
plugin = nixpkgs.vimPlugins.nvim-treesitter.withAllGrammars;
|
|
config = builtins.readFile ./nvim/treesitter.lua;
|
|
type = "lua";
|
|
}
|
|
{
|
|
plugin = nixpkgs.vimPlugins.nvim-lspconfig;
|
|
config = builtins.readFile ./nvim/lspconfig.lua;
|
|
type = "lua";
|
|
}
|
|
nixpkgs.vimPlugins.telescope-nvim
|
|
nixpkgs.vimPlugins.tagbar
|
|
nixpkgs.vimPlugins.fzf-vim
|
|
{
|
|
plugin = nixpkgs.vimPlugins.roslyn-nvim;
|
|
config = builtins.readFile ./nvim/roslyn-nvim.lua;
|
|
type = "lua";
|
|
}
|
|
{
|
|
plugin = let
|
|
name = "coq.artifacts";
|
|
rev = "9c5067a471322c6bb866545e88e5b28c82511865";
|
|
in
|
|
nixpkgs.vimUtils.buildVimPlugin {
|
|
name = name;
|
|
src = nixpkgs.fetchFromGitHub {
|
|
owner = "ms-jpq";
|
|
repo = name;
|
|
rev = rev;
|
|
hash = "sha256-BHm7U3pINtYamY7m26I4lQee7ccJ6AcHmYx7j1MRFDA=";
|
|
};
|
|
};
|
|
}
|
|
{
|
|
plugin = let
|
|
name = "venv-selector.nvim";
|
|
rev = "2ad34f36d498ff5193ea10f79c87688bd5284172";
|
|
in
|
|
nixpkgs.vimUtils.buildVimPlugin {
|
|
name = name;
|
|
src = nixpkgs.fetchFromGitHub {
|
|
owner = "linux-cultist";
|
|
repo = name;
|
|
rev = rev;
|
|
hash = "sha256-aOga7kJ1y3T2vDyYFl/XHOwk35ZqeUcfPUk+Pr1mIeo=";
|
|
};
|
|
};
|
|
config = builtins.readFile ./nvim/venv-selector.lua;
|
|
type = "lua";
|
|
}
|
|
{
|
|
plugin = nixpkgs.vimPlugins.Ionide-vim;
|
|
type = "lua";
|
|
config = builtins.readFile ./nvim/ionide-vim.lua;
|
|
}
|
|
{
|
|
plugin = nixpkgs.vimPlugins.chadtree;
|
|
config = builtins.readFile ./nvim/chadtree.lua;
|
|
type = "lua";
|
|
}
|
|
{
|
|
plugin = nixpkgs.vimPlugins.coq_nvim;
|
|
config = ''let g:coq_settings = { 'auto_start': 'shut-up', 'xdg': v:true }'';
|
|
}
|
|
{
|
|
plugin = nixpkgs.vimPlugins.rustaceanvim;
|
|
}
|
|
{
|
|
plugin = nixpkgs.vimPlugins.LanguageClient-neovim;
|
|
}
|
|
{
|
|
plugin = nixpkgs.vimPlugins.nvim-dap;
|
|
config = builtins.readFile ./nvim/nvim-dap.lua;
|
|
type = "lua";
|
|
}
|
|
{
|
|
plugin = nixpkgs.vimPlugins.nvim-dap-python;
|
|
config = builtins.replaceStrings ["%PYTHONENV%"] ["${debugPyEnv}"] (builtins.readFile ./nvim/nvim-dap-python.lua);
|
|
type = "lua";
|
|
}
|
|
];
|
|
viAlias = true;
|
|
vimAlias = true;
|
|
vimdiffAlias = true;
|
|
withPython3 = true;
|
|
extraPython3Packages = ps: [
|
|
ps.pip
|
|
ps.pynvim
|
|
ps.pynvim-pp
|
|
ps.pyyaml
|
|
ps.std2
|
|
];
|
|
withRuby = true;
|
|
|
|
extraLuaConfig = builtins.readFile ./nvim/build-utils.lua + "\n" + (builtins.replaceStrings ["_CURL_"] ["${nixpkgs.curl}/bin/curl"] (builtins.readFile ./nvim/dotnet.lua)) + "\n" + builtins.readFile ./nvim/init.lua + "\n" + builtins.readFile ./nvim/python.lua;
|
|
};
|
|
|
|
home.packages =
|
|
[
|
|
nixpkgs.jq
|
|
nixpkgs.difftastic
|
|
nixpkgs.syncthing
|
|
nixpkgs.nodePackages_latest.dockerfile-language-server-nodejs
|
|
nixpkgs.nodePackages_latest.bash-language-server
|
|
nixpkgs.nodePackages_latest.vscode-json-languageserver
|
|
nixpkgs.nodePackages_latest.vscode-langservers-extracted
|
|
nixpkgs.hadolint
|
|
nixpkgs.yaml-language-server
|
|
nixpkgs.csharp-ls
|
|
nixpkgs.netcoredbg
|
|
nixpkgs.nil
|
|
nixpkgs.fsautocomplete
|
|
nixpkgs.wget
|
|
nixpkgs.yt-dlp
|
|
nixpkgs.cmake
|
|
nixpkgs.gnumake
|
|
nixpkgs.gcc
|
|
nixpkgs.lldb
|
|
nixpkgs.hledger
|
|
nixpkgs.hledger-web
|
|
dotnet
|
|
nixpkgs.elan
|
|
nixpkgs.coreutils-prefixed
|
|
nixpkgs.shellcheck
|
|
nixpkgs.universal-ctags
|
|
nixpkgs.asciinema
|
|
nixpkgs.git-lfs
|
|
nixpkgs.imagemagick
|
|
nixpkgs.nixpkgs-fmt
|
|
nixpkgs.lnav
|
|
nixpkgs.age
|
|
nixpkgs.nodejs
|
|
nixpkgs.pyright
|
|
nixpkgs.woodpecker-agent
|
|
nixpkgs.lynx
|
|
nixpkgs.alejandra
|
|
nixpkgs.ffmpeg
|
|
nixpkgs.bat
|
|
nixpkgs.pandoc
|
|
nixpkgs.fd
|
|
nixpkgs.sumneko-lua-language-server
|
|
nixpkgs.gnupg
|
|
nixpkgs.gh
|
|
nixpkgs.clang-tools
|
|
nixpkgs.deno
|
|
nixpkgs.yazi
|
|
nixpkgs.font-awesome
|
|
nixpkgs.gopls
|
|
nixpkgs.go
|
|
]
|
|
++ (
|
|
if nixpkgs.stdenv.isLinux
|
|
then [
|
|
nixpkgs.protonmail-bridge
|
|
nixpkgs.pinentry
|
|
nixpkgs.signal-desktop
|
|
nixpkgs.keepassxc
|
|
]
|
|
else []
|
|
)
|
|
++ (
|
|
if machinename == "capybara"
|
|
then [
|
|
nixpkgs.steam-run
|
|
nixpkgs.discord
|
|
nixpkgs.anki-bin
|
|
]
|
|
else []
|
|
);
|
|
|
|
home.file.".ideavimrc".source = ./ideavimrc;
|
|
home.file.".config/yt-dlp/config".source = ./youtube-dl.conf;
|
|
|
|
programs.firefox = {
|
|
enable = true;
|
|
package = nixpkgs.firefox-wayland;
|
|
profiles = {
|
|
patrick = {
|
|
isDefault = true;
|
|
name = "patrick";
|
|
search = {
|
|
default = "Google";
|
|
force = true;
|
|
};
|
|
settings = {
|
|
# see https://github.com/TLATER/dotfiles/blob/b39af91fbd13d338559a05d69f56c5a97f8c905d/home-config/config/graphical-applications/firefox.nix
|
|
# see https://www.ghacks.net/2015/08/18/a-comprehensive-list-of-firefox-privacy-and-security-settings/
|
|
"browser.search.isUS" = false;
|
|
"browser.search.region" = "GB";
|
|
"gfx.webrender.all" = true; # enable GPU acceleration
|
|
"media.ffmpeg.vaapi.enabled" = true;
|
|
"widget.dmabuf.force-enabled" = true;
|
|
"privacy.webrtc.legacyGlobalIndicator" = false;
|
|
"app.shield.optoutstudies.enabled" = false;
|
|
"app.update.enabled" = false;
|
|
"app.update.auto" = false;
|
|
"app.update.silent" = false;
|
|
"app.update.service.enabled" = false;
|
|
"app.update.staging.enabled" = false;
|
|
"browser.discovery.enabled" = false;
|
|
"browser.laterrun.enabled" = false;
|
|
"browser.shell.checkDefaultBrowser" = false;
|
|
"browser.rights.3.shown" = true;
|
|
"browser.search.update" = false;
|
|
"extensions.update.enabled" = false;
|
|
"extensions.update.autoUpdateDefault" = false;
|
|
"extensions.getAddons.cache.enabled" = false;
|
|
"dom.ipc.plugins.reportCrashURL" = false;
|
|
"extensions.webservice.discoverURL" = "http://127.0.0.1";
|
|
"toolkit.telemetry.unified" = false;
|
|
"toolkit.telemetry.unifiedIsOptIn" = true;
|
|
"toolkit.telemetry.enabled" = false;
|
|
"toolkit.telemetry.server" = "";
|
|
"toolkit.telemetry.archive.enabled" = false;
|
|
"lightweightThemes.update.enabled" = false;
|
|
"startup.homepage_welcome_url" = "";
|
|
"startup.homepage_welcome_url.additional" = "";
|
|
"startup.homepage_override_url" = "";
|
|
"datareporting.healthreport.uploadEnabled" = false;
|
|
"datareporting.healthreport.documentServerURI" = "";
|
|
"datareporting.healthreport.service.enabled" = false;
|
|
"datareporting.healthreport.about.reportUrl" = "data:text/plain,";
|
|
"toolkit.telemetry.cachedClientID" = "";
|
|
"browser.selfsupport.url" = "";
|
|
"browser.selfsupport.enabled" = false;
|
|
"experiments.enabled" = false;
|
|
"experiments.supported" = false;
|
|
"experiments.activeExperiment" = false;
|
|
"experiments.manifest.uri" = "";
|
|
"network.allow-experiments" = false;
|
|
"breakpad.reportURL" = "";
|
|
"browser.tabs.crashReporting.sendReport" = false;
|
|
"browser.newtab.preload" = false;
|
|
"browser.newtabpage.directory.ping" = "data:text/plain,";
|
|
"browser.newtabpage.directory.source" = "data:text/plain,";
|
|
"browser.newtabpage.enabled" = false;
|
|
"browser.newtabpage.enhanced" = false;
|
|
"browser.newtabpage.introShown" = true;
|
|
"browser.aboutHomeSnippets.updateUrl" = "https://127.0.0.1";
|
|
"extensions.pocket.enabled" = false;
|
|
"extensions.pocket.api" = "";
|
|
"extensions.pocket.site" = "";
|
|
"extensions.pocket.oAuthConsumerKey" = "";
|
|
"social.whitelist" = "";
|
|
"social.toast-notifications.enabled" = false;
|
|
"social.shareDirectory" = "";
|
|
"social.remote-install.enabled" = false;
|
|
"social.directories" = "";
|
|
"social.share.activationPanelEnabled" = false;
|
|
"social.enabled" = false;
|
|
"dom.flyweb.enabled" = false;
|
|
"services.sync.enabled" = false;
|
|
};
|
|
};
|
|
};
|
|
};
|
|
}
|