2022-10-16 21:55:37 +00:00
|
|
|
{ pkgs, config, lib, ... }:
|
|
|
|
|
|
|
|
|
|
{
|
|
|
|
|
imports = [
|
|
|
|
|
# Common configuration
|
|
|
|
|
./common.nix
|
|
|
|
|
# We use our own firefox
|
|
|
|
|
# ./firefox.nix
|
|
|
|
|
# osu!
|
|
|
|
|
# ./osu.nix
|
|
|
|
|
];
|
|
|
|
|
|
|
|
|
|
# Home Manager needs a bit of information about you and the
|
|
|
|
|
# paths it should manage.
|
|
|
|
|
home.username = "nki";
|
|
|
|
|
home.homeDirectory = "/home/nki";
|
|
|
|
|
|
|
|
|
|
# More packages
|
|
|
|
|
home.packages = (with pkgs; [
|
|
|
|
|
# CLI stuff
|
|
|
|
|
python
|
|
|
|
|
zip
|
|
|
|
|
# TeX
|
|
|
|
|
texlive.combined.scheme-full
|
|
|
|
|
|
2022-10-17 10:58:57 +00:00
|
|
|
(firefox.override { cfg.enablePlasmaBrowserIntegration = true; })
|
|
|
|
|
plasma-browser-integration
|
|
|
|
|
|
2022-10-16 21:55:37 +00:00
|
|
|
# Java & sbt
|
|
|
|
|
openjdk11
|
|
|
|
|
sbt
|
|
|
|
|
]);
|
|
|
|
|
|
|
|
|
|
# Graphical set up
|
2022-10-17 08:25:38 +00:00
|
|
|
linux.graphical.type = "x11";
|
|
|
|
|
linux.graphical.wallpaper = ./images/wallpaper_0.png;
|
2022-10-16 21:55:37 +00:00
|
|
|
# Enable sway
|
|
|
|
|
# programs.my-sway.enable = true;
|
|
|
|
|
# programs.my-sway.fontSize = 14.0;
|
|
|
|
|
# programs.my-sway.terminal = "${config.programs.kitty.package}/bin/kitty";
|
|
|
|
|
# Keyboard support
|
|
|
|
|
# wayland.windowManager.sway.config = {
|
|
|
|
|
# input."1278:34:HHKB-Hybrid_3_Keyboard".xkb_layout = "jp";
|
|
|
|
|
# input."1:1:AT_Translated_Set_2_keyboard" = {
|
|
|
|
|
# xkb_options = "ctrl:swapcaps";
|
|
|
|
|
# xkb_layout = "us";
|
|
|
|
|
# };
|
|
|
|
|
# };
|
|
|
|
|
# Kitty
|
|
|
|
|
nki.programs.kitty = {
|
|
|
|
|
enable = true;
|
|
|
|
|
fontSize = 16;
|
2022-10-17 08:25:38 +00:00
|
|
|
enableTabs = true;
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
home.file.".gnupg/gpg-agent.conf" = {
|
|
|
|
|
text = ''
|
|
|
|
|
pinentry-program ${pkgs.kwalletcli}/bin/pinentry-kwallet
|
|
|
|
|
'';
|
|
|
|
|
onChange = ''
|
|
|
|
|
echo "Reloading gpg-agent"
|
|
|
|
|
echo RELOADAGENT | gpg-connect-agent
|
|
|
|
|
'';
|
2022-10-16 21:55:37 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
|
|
# Multiple screen setup
|
|
|
|
|
# services.kanshi = {
|
2022-10-17 08:25:38 +00:00
|
|
|
# enable = true;
|
|
|
|
|
# profiles.undocked.outputs = [{ criteria = "LVDS-1"; }];
|
|
|
|
|
# profiles.docked-hdmi.outputs = [
|
|
|
|
|
# { criteria = "LVDS-1"; status = "disable"; }
|
|
|
|
|
# { criteria = "HDMI-A-1"; }
|
|
|
|
|
# ];
|
2022-10-16 21:55:37 +00:00
|
|
|
# };
|
|
|
|
|
|
|
|
|
|
# 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 = "21.05";
|
|
|
|
|
}
|
|
|
|
|
|
