#
# This file is auto-generated from "README.org"
#
{
  description = "rasendubi's packages and NixOS/home-manager configurations";

  inputs = {
    nixpkgs = {
      type = "github";
      owner = "NixOS";
      repo = "nixpkgs";
      ref = "nixpkgs-unstable";
    };

    <<flake-inputs>>
  };

  outputs = { self, ... }@inputs:
    let
      # Flakes are evaluated hermetically, thus are unable to access
      # host environment (including looking up current system).
      #
      # That's why flakes must explicitly export sets for each system
      # supported.
      systems = ["x86_64-linux" "aarch64-linux" "aarch64-darwin"];

      # genAttrs applies f to all elements of a list of strings, and
      # returns an attrset { name -> result }
      #
      # Useful for generating sets for all systems or hosts.
      genAttrs = list: f: inputs.nixpkgs.lib.genAttrs list f;

      # Generate pkgs set for each system. This takes into account my
      # nixpkgs config (allowUnfree) and my overlays.
      pkgsBySystem =
        let mkPkgs = system: import inputs.nixpkgs {
              inherit system;
              overlays = self.overlays.${system};
              config = { allowUnfree = true; input-fonts.acceptLicense = true; };
            };
        in genAttrs systems mkPkgs;

      # genHosts takes an attrset { name -> options } and calls mkHost
      # with options+name. The result is accumulated into an attrset
      # { name -> result }.
      #
      # Used in NixOS and Home Manager configurations.
      genHosts = hosts: mkHost:
        genAttrs (builtins.attrNames hosts) (name: mkHost ({ inherit name; } // hosts.${name}));

      # merges a list of attrsets into a single attrset
      mergeSections = inputs.nixpkgs.lib.foldr inputs.nixpkgs.lib.mergeAttrs {};

    in mergeSections [
      <<flake-outputs-nixos>>
      <<flake-outputs-home-manager>>
      <<flake-outputs-packages>>
      <<flake-outputs-overlays>>
      <<flake-outputs-nix-darwin>>
    ];
}

{
  nix = {
    package = pkgs.nixFlakes;
    extraOptions = ''
      experimental-features = nix-command flakes
    '';
  };
}

{
  nix = {
    package = pkgs.nixFlakes;
    extraOptions = ''
      experimental-features = nix-command flakes
    '';
  };
}

nixpkgs-stable = {
  type = "github";
  owner = "NixOS";
  repo = "nixpkgs";
  ref = "nixos-21.05";
};

(final: prev: {
  stable = import inputs.nixpkgs-stable {
    inherit system;
    overlays = self.overlays.${system};
    config = { allowUnfree = true; };
  };
})

(let
  nixosHosts = {
    omicron = { system = "x86_64-linux";  config = ./nixos-config.nix; };

    # pie uses a separate config as it is very different
    # from other hosts.
    pie =     { system = "aarch64-linux"; config = ./pie.nix; };
  };

  mkNixosConfiguration = { name, system, config }:
    let pkgs = pkgsBySystem.${system};
    in inputs.nixpkgs.lib.nixosSystem {
      inherit system;
      modules = [
        { nixpkgs = { inherit pkgs; }; }
        (import config)
      ];
      specialArgs = { inherit name inputs; };
    };

in {
  nixosConfigurations = genHosts nixosHosts mkNixosConfiguration;
})

home-manager = {
  type = "github";
  owner = "rycee";
  repo = "home-manager";
  ref = "master";
  inputs.nixpkgs.follows = "nixpkgs";
};

(let
  homeManagerHosts = {
  };

  mkHomeManagerConfiguration = { system, name, config, username, homeDirectory }:
    let pkgs = pkgsBySystem.${system};
    in inputs.home-manager.lib.homeManagerConfiguration {
      inherit system pkgs username homeDirectory;
      configuration = { lib, ... }: {
        nixpkgs.config.allowUnfree = true;
        nixpkgs.config.firefox.enableTridactylNative = true;
        nixpkgs.overlays = self.overlays.${system};
        imports = [
          self.lib.home-manager-common

          (import config)
        ];
      };
    };

in {
  # Re-export common home-manager configuration to be reused between
  # NixOS module and standalone home-manager config.
  lib.home-manager-common = { lib, pkgs, config, ... }: {
    imports = [
      <<home-manager-section>>
    ];
    home.stateVersion = "21.05";
  };
  homeManagerConfigurations = genHosts homeManagerHosts mkHomeManagerConfiguration;
})

{
  options.hostname = lib.mkOption {
    default = null;
    type = lib.types.nullOr lib.types.str;
    description = "hostname so that other home-manager options can depend on it.";
  };
}

{
  imports = [inputs.home-manager.nixosModules.home-manager];
  home-manager = {
    useUserPackages = true;
    useGlobalPkgs = true;
    users.rasen = inputs.self.lib.home-manager-common;
  };
}

{
  imports = [inputs.home-manager.darwinModules.home-manager];
  home-manager = {
    useUserPackages = false;
    useGlobalPkgs = true;
    users.rasen = { ... }: {
      imports = [
        inputs.self.lib.home-manager-common
        { hostname = config.networking.hostName; }
      ];
    };
    # users.rasen = inputs.self.lib.home-manager-common;
  };
}

darwin = {
  url = "github:lnl7/nix-darwin";
  inputs.nixpkgs.follows = "nixpkgs";
};

(final: prev: {
  lib = prev.lib // {
    linux-only = prev.lib.mkIf final.stdenv.isLinux;
  };
})

(let
  darwinHosts = {
    <<darwin-host>>
  };

  mkDarwinConfiguration = { name, system, modules ? [] }:
    inputs.darwin.lib.darwinSystem {
      inherit system;
      modules = modules ++ [
        { networking.hostName = name; }
        self.darwin-common
      ];
    };

in {
  darwin-common = { lib, pkgs, config, ... }: {
    imports = [
      <<darwin-section>>
    ];
  };

  darwinConfigurations = genHosts darwinHosts mkDarwinConfiguration;
})

{
  nixpkgs.config = {
    allowUnfree = true;
  };
  nixpkgs.overlays = self.overlays.aarch64-darwin;
  services.nix-daemon.enable = true;

  system.stateVersion = 4;
}

({ lib, config, ... }: {
  system.activationScripts.applications.text = lib.mkForce ''
    # Set up applications.
    echo "setting up ~/Applications..." >&2
    mkdir -p ~/Applications
    if [ ! -e ~/Applications/Nix\ Apps -o -L ~/Applications/Nix\ Apps ]; then
      ln -sfn ${config.system.build.applications}/Applications ~/Applications/Nix\ Apps
    else
      echo "warning: ~/Applications/Nix Apps is not owned by nix-darwin, skipping App linking..." >&2
    fi
  '';
})

({ config, lib, pkgs, ... }:

{
  config = lib.mkIf pkgs.stdenv.hostPlatform.isDarwin {
    # Install MacOS applications to the user environment.
    home.file."Applications/Home Manager Apps".source = let
      apps = pkgs.buildEnv {
        name = "home-manager-applications";
        paths = config.home.packages;
        pathsToLink = "/Applications";
      };
    in "${apps}/Applications";
  };
})

(let
  mkPackages = system:
    let
      pkgs = pkgsBySystem.${system};
    in
      mergeSections [
        <<flake-packages>>
      ];

in {
  packages = genAttrs systems mkPackages;
})

(let
  mkOverlays = system: [
    # mix-in all local packages, so they are available as pkgs.${packages-name}
    (final: prev: self.packages.${system})

    <<flake-overlays>>
  ];
in {
  overlays = genAttrs systems mkOverlays;
})

#
# This file is auto-generated from "README.org"
#
{ name, config, pkgs, lib, inputs, ... }:
let
  machine-config = lib.getAttr name {
    omicron = [
      <<machine-omicron>>
    ];
  };

in
{
  imports = [
    {
      nixpkgs.config.allowUnfree = true;

      # The NixOS release to be compatible with for stateful data such as databases.
      system.stateVersion = "21.05";
    }

    <<nixos-section>>
  ] ++ machine-config;
}

{
  # for compatibility with nix-shell, nix-build, etc.
  environment.etc.nixpkgs.source = inputs.nixpkgs;
  nix.nixPath = ["nixpkgs=/etc/nixpkgs"];

  # register self and nixpkgs as flakes for quick access
  nix.registry = {
    self.flake = inputs.self;

    nixpkgs.flake = inputs.nixpkgs;
  };
}

{
  home.file."nixpkgs".source = inputs.nixpkgs;
  systemd.user.sessionVariables.NIX_PATH = pkgs.lib.linux-only (lib.mkForce "nixpkgs=$HOME/nixpkgs\${NIX_PATH:+:}$NIX_PATH");

  xdg.configFile."nix/registry.json".text = builtins.toJSON {
    version = 2;
    flakes = [
      {
        from = { id = "self"; type = "indirect"; };
        to = ({
          type = "path";
          path = inputs.self.outPath;
        } // lib.filterAttrs
          (n: v: n == "lastModified" || n == "rev" || n == "revCount" || n == "narHash")
          inputs.self);
      }
      {
        from = { id = "nixpkgs"; type = "indirect"; };
        to = ({
          type = "path";
          path = inputs.nixpkgs.outPath;
        } // lib.filterAttrs
          (n: v: n == "lastModified" || n == "rev" || n == "revCount" || n == "narHash")
          inputs.nixpkgs);
      }
    ];
  };
}

{
  nix.settings.sandbox = true;
}

{
  users.extraUsers.rasen = {
    isNormalUser = true;
    uid = 1000;
    extraGroups = [ "users" "wheel" ];
    initialPassword = "HelloWorld";
  };
  nix.settings.trusted-users = ["rasen"];
}

{
  users.users.rasen = {
    description = "Oleksii Shmalko";
    home = "/Users/rasen/";
  };
}

{
  services.yabai = {
    enable = true;
    package = pkgs.yabai;
    config = {
      layout = "bsp";
      window_shadow = "float";
      window_gap = 10;
      focus_follows_mouse = "autoraise";
      mouse_follows_focus = "on";
      mouse_modifier = "fn";
      mouse_action1 = "move";
      mouse_action2 = "resize";
    };
    extraConfig = ''
      yabai -m rule --add app=Emacs manage=on
    '';
  };
}

{
  environment.systemPackages = [ pkgs.skhd ];
  services.skhd = {
    enable = true;
    skhdConfig = ''
      :: default : emacsclient -e '(message "default mode")'
      :: escaping : emacsclient -e '(message "escaping mode")'
      # :: e : emacsclient -e '(message "escape mode")'
      # :: es ; e
      # #default < lcmd - 0x2a ; e
      # e < lcmd - 0x2a ; default

      default < lcmd - 0x2A ; escaping
      escaping < lcmd - 0x2A ; default

      # escaping < lcmd - k ~

      default < cmd + ctrl - r : yabai -m space --layout $(yabai -m query --spaces --space | jq -r 'if .type == "bsp" then "float" else "bsp" end')
      default < lcmd + ctrl - h : yabai -m window --ratio rel:-0.05
      default < lcmd + ctrl - l : yabai -m window --ratio rel:+0.05
      default < lcmd + shift - h : yabai -m window --swap west
      default < lcmd + shift - j : yabai -m window --swap north
      default < lcmd + shift - k : yabai -m window --swap south
      default < lcmd + shift - l : yabai -m window --swap east
      default < lcmd - h [
        * : yabai -m window --focus west
        "Emacs" ~
      ]
      default < lcmd - j [
        * : yabai -m window --focus north
        "Emacs" ~
      ]
      default < lcmd - k [
        * : yabai -m window --focus south
        "Emacs" ~
        "Slack" ~
        "Telegram" ~
      ]
      default < lcmd - l [
        * : yabai -m window --focus east
        "Emacs" ~
      ]
    '';
  };
}

{
  imports = [
    (import "${inputs.nixos-hardware}/dell/xps/13-9360")
    inputs.nixpkgs.nixosModules.notDetected
  ];

  boot.initrd.availableKernelModules = [ "xhci_pci" "nvme" "usb_storage" "sd_mod" "rtsx_pci_sdmmc" ];
  boot.kernelModules = [ "kvm-intel" "wl" ];
  boot.extraModulePackages = [ config.boot.kernelPackages.rtl88x2bu config.boot.kernelPackages.broadcom_sta ];

  hardware.opengl = {
    enable = true;
    extraPackages = [
      pkgs.vaapiIntel
      pkgs.vaapiVdpau
      pkgs.libvdpau-va-gl
    ];
  };

  nix.settings.max-jobs = lib.mkDefault 4;

  # powerManagement.cpuFreqGovernor = "powersave";

  boot.loader.systemd-boot.enable = true;
  boot.loader.efi.canTouchEfiVariables = true;
}

nixos-hardware = {
  type = "github";
  owner = "NixOS";
  repo = "nixos-hardware";
  flake = false;
};

{
  boot.initrd.luks.devices = {
    root = {
      device = "/dev/disk/by-uuid/8b591c68-48cb-49f0-b4b5-2cdf14d583dc";
      preLVM = true;
    };
  };
  fileSystems."/boot" = {
    device = "/dev/disk/by-uuid/BA72-5382";
    fsType = "vfat";
  };
  fileSystems."/" = {
    device = "/dev/disk/by-uuid/434a4977-ea2c-44c0-b363-e7cf6e947f00";
    fsType = "ext4";
    options = [ "noatime" "nodiratime" "discard" ];
  };
  fileSystems."/home" = {
    device = "/dev/disk/by-uuid/8bfa73e5-c2f1-424e-9f5c-efb97090caf9";
    fsType = "ext4";
    options = [ "noatime" "nodiratime" "discard" ];
  };
  swapDevices = [
    { device = "/dev/disk/by-uuid/26a19f99-4f3a-4bd5-b2ed-359bed344b1e"; }
  ];
}

{
  services.xserver.libinput = {
    enable = true;
    touchpad.accelSpeed = "0.7";
  };
}

{
  services.xserver.config = ''
    Section "Device"
      Identifier "Intel Graphics"
      Driver "intel"

      Option "TearFree" "true"
      Option "TripleBuffer" "true"
    EndSection
  '';
}

bayraktar = {
  system = "aarch64-darwin";
};

{
  accounts.email.accounts = lib.mkIf (config.hostname == "bayraktar") (lib.mkForce {
    fluxon = {
      realName = "Oleksii Shmalko";
      address = "[email protected]";
      flavor = "gmail.com";
      primary = true;

      passwordCommand = "pass fluxon/google.com/[email protected]/email";
      maildir.path = "fluxon";

      msmtp.enable = true;
      notmuch.enable = true;
      mbsync.enable = true;
      mbsync.create = "maildir";
    };
  });
  programs.mbsync.extraConfig = lib.mkForce "";
}

emacs-overlay = {
  type = "github";
  owner = "nix-community";
  repo = "emacs-overlay";
};

inputs.emacs-overlay.overlay

(let
  emacs-base =
    if pkgs.stdenv.isDarwin
    then pkgs.emacs.overrideAttrs (old: {
      patches =
        (old.patches or [])
        ++ [
          # Fix OS window role so that yabai can pick up emacs
          (pkgs.fetchpatch {
            url = "https://raw.githubusercontent.com/d12frosted/homebrew-emacs-plus/master/patches/emacs-28/fix-window-role.patch";
            sha256 = "sha256-+z/KfsBm1lvZTZNiMbxzXQGRTjkCFO4QPlEK35upjsE=";
          })
          # Use poll instead of select to get file descriptors
          # (pkgs.fetchpatch {
          #   url = "https://raw.githubusercontent.com/d12frosted/homebrew-emacs-plus/master/patches/emacs-29/poll.patch";
          #   sha256 = "sha256-jN9MlD8/ZrnLuP2/HUXXEVVd6A+aRZNYFdZF8ReJGfY=";
          # })
          # Enable rounded window with no decoration
          (pkgs.fetchpatch {
            url = "https://raw.githubusercontent.com/d12frosted/homebrew-emacs-plus/master/patches/emacs-28/no-titlebar-and-round-corners.patch";
            sha256 = "sha256-RYdjAf1c43Elh7ad4kujPnrCX8qY7ZWxufJfCc0QW00=";
          })
          # Make emacs aware of OS-level light/dark mode
          (pkgs.fetchpatch {
            url = "https://raw.githubusercontent.com/d12frosted/homebrew-emacs-plus/master/patches/emacs-28/system-appearance.patch";
            sha256 = "sha256-oM6fXdXCWVcBnNrzXmF0ZMdp8j0pzkLE66WteeCutv8=";
          })
        ];
      configureFlags =
        (old.configureFlags or [])
        ++ [
          "LDFLAGS=-headerpad_max_install_names"
        ];
    })
    else pkgs.emacs.override {
      withX = true;
      # select lucid toolkit
      toolkit = "lucid";
      withGTK2 = false; withGTK3 = false;
    };
  emacs-packages = (epkgs:
    (with epkgs.melpaPackages; [

      aggressive-indent
      atomic-chrome
      avy
      bash-completion
      beacon
      blacken
      cider
      clojure-mode
      cmake-mode
      color-identifiers-mode
      company
      company-box
      counsel
      counsel-projectile
      diff-hl
      diminish
      direnv
      dockerfile-mode
      doom-modeline
      dtrt-indent
      edit-indirect
      el-patch
      elpy
      emojify
      envrc
      epresent
      evil
      evil-collection
      evil-numbers
      evil-org
      evil-surround
      evil-swap-keys
      exec-path-from-shell
      fish-completion
      fish-mode
      flycheck
      flycheck-inline
      flycheck-jest
      flycheck-rust
      forth-mode
      general
      go-mode
      google-translate
      graphviz-dot-mode
      groovy-mode
      haskell-mode
      imenu-list
      ivy
      ivy-bibtex
      ivy-pass
      jinja2-mode
      js2-mode
      json-mode
      ledger-mode
      lispyville
      lsp-haskell
      lsp-mode
      lsp-ui
      lua-mode
      magit
      markdown-mode
      modus-themes
      nix-mode
      nix-sandbox
      notmuch
      ol-notmuch
      org-cliplink
      org-download
      org-drill
      org-ref
      org-roam
      org-roam-bibtex
      org-super-agenda
      paren-face
      pass
      php-mode
      pip-requirements
      plantuml-mode
      prettier-js
      projectile
      protobuf-mode
      psc-ide
      purescript-mode
      py-autopep8
      racer
      racket-mode
      restclient
      rjsx-mode
      rust-mode
      slime
      smex
      spaceline
      svelte-mode
      terraform-mode
      tide
      toc-org
      typescript-mode
      use-package
      visual-fill-column
      vterm
      vue-mode
      w3m
      web-mode
      wgrep
      which-key
      whitespace-cleanup-mode
      writegood-mode
      yaml-mode
      yasnippet
      zig-mode

    ]) ++
    [
      epkgs.elpaPackages.org
      epkgs.nongnuPackages.org-contrib
      epkgs.elpaPackages.adaptive-wrap
      epkgs.exwm
      # not available in melpa
      epkgs.elpaPackages.valign

      epkgs.elpaPackages.eglot

      (epkgs.trivialBuild rec {
        pname = "org-roam-ui";
        version = "20210830";
        src = pkgs.fetchFromGitHub {
          owner = "org-roam";
          repo = "org-roam-ui";
          rev = "9ad111d2102c24593f6ac012206bb4b2c9c6c4e1";
          sha256 = "sha256-x6notv/U+y9Es8m58R/Qh7GEAtRqXqXvr7gy5OiDDUM=";
        };
        packageRequires = [
          epkgs.melpaPackages.f
          epkgs.melpaPackages.org-roam
          epkgs.melpaPackages.websocket
          epkgs.melpaPackages.simple-httpd
        ];

        postInstall = ''
          cp -r ./out/ $LISPDIR/
        '';

        meta = {
          description = "A graphical frontend for exploring your org-roam Zettelkasten";
          license = pkgs.lib.licenses.gpl3;
        };
      })

      (epkgs.trivialBuild rec {
        pname = "org-fc";
        version = "20201121";
        src = pkgs.fetchFromGitHub {
          owner = "rasendubi";
          repo = "org-fc";
          rev = "35ec13fd0412cd17cbf0adba7533ddf0998d1a90";
          sha256 = "sha256-2h1dIR7WHYFsLZ/0D4HgkoNDxKQy+v3OaiiCwToynvU=";
          # owner = "l3kn";
          # repo = "org-fc";
          # rev = "f1a872b53b173b3c319e982084f333987ba81261";
          # sha256 = "sha256-s2Buyv4YVrgyxWDkbz9xA8LoBNr+BPttUUGTV5m8cpM=";
        };
        packageRequires = [
          epkgs.elpaPackages.org
          epkgs.melpaPackages.hydra
        ];
        propagatedUserEnvPkgs = [ pkgs.findutils pkgs.gawk ];

        postInstall = ''
          cp -r ./awk/ $LISPDIR/
        '';

        meta = {
          description = "Spaced Repetition System for Emacs org-mode";
          license = pkgs.lib.licenses.gpl3;
        };
      })

      # required for org-roam/emacsql-sqlite3
      pkgs.sqlite

      pkgs.notmuch
      pkgs.w3m
      pkgs.imagemagick
      pkgs.shellcheck

      (pkgs.python3.withPackages (pypkgs: [
        pypkgs.autopep8
        pypkgs.black
        pypkgs.flake8
        pypkgs.mypy
        pypkgs.pylint
        pypkgs.virtualenv
      ]))

      (pkgs.aspellWithDicts (dicts: with dicts; [en en-computers en-science ru uk]))

      # latex for displaying fragments in org-mode
      (pkgs.texlive.combine {
        inherit (pkgs.texlive)
          scheme-small
          dvipng
          dvisvgm
          mhchem # chemistry
          tikz-cd # category theory diagrams
          # required for org export
          wrapfig
          capt-of
        ;
      })
      pkgs.ghostscript
    ]
  );

  overrides = self: super: {
    # select org from elpa
    org = super.elpaPackages.org;
  };

  emacs-final = ((pkgs.emacsPackagesFor emacs-base).overrideScope' overrides).emacsWithPackages emacs-packages;

in {
  my-emacs = emacs-final // {
    base = emacs-base;
    overrides = overrides;
    packages = emacs-packages;
  };
})

{
  programs.emacs = {
    enable = true;
    package = pkgs.my-emacs.base;
    extraPackages = pkgs.my-emacs.packages;
    overrides = pkgs.my-emacs.overrides;
  };
  # services.emacs.enable = true;

  # fonts used by emacs
  home.packages = [
    pkgs.input-mono
    pkgs.libertine
  ];
}

{
  home.packages = [ pkgs.ripgrep ];
}

{
  environment.systemPackages = [ pkgs.xorg.xhost ];
  services.xserver.windowManager.session = lib.singleton {
    name = "exwm";
    start = ''
      xhost +SI:localuser:$USER
      exec emacs
    '';
      # exec ${pkgs.my-emacs}/bin/emacsclient -a "" -c
  };
  services.xserver.displayManager.lightdm.enable = true;
  # services.xserver.displayManager.startx.enable = true;
  services.xserver.displayManager.defaultSession = "none+exwm";
}

{
  programs.slock.enable = true;
}

{
  home.packages = pkgs.lib.linux-only [
    pkgs.xss-lock
  ];
}

{
  home.packages = pkgs.lib.linux-only [ pkgs.escrotum ];
}

{
  services.xserver.enable = true;
}

{
  i18n.supportedLocales = [ "en_US.UTF-8/UTF-8" ];
}

{
  time.timeZone = "Europe/Kiev";
}

{
  services.xserver.layout = "us,ua";
  services.xserver.xkbVariant = "workman,";

  # Use same config for linux console
  console.useXkbConfig = true;
}

{
  home.keyboard = {
    layout = "us,ua";
    variant = "workman,";
  };
}

{
  services.xserver.xkbOptions = "grp:lctrl_toggle,grp_led:caps,ctrl:nocaps";
  # services.xserver.xkbOptions = "grp:caps_toggle,grp_led:caps";
}

{
  xsession.initExtra = ''
    xkbcomp ${./Xkeymap} $DISPLAY
  '';
}

{
  home.packages = [ pkgs.xorg.xkbcomp ];
}

{
  home.file.".XCompose".text = ''
    include "%L"

    <Multi_key> <less> <equal>           : "⇐" U21D0 # Leftwards Double Arrow
    <Multi_key> <equal> <greater>        : "⇒" U21D2 # RIGHTWARDS DOUBLE ARROW
    <Multi_key> <less> <greater> <equal> : "⇔" U21D4 # LEFT RIGHT DOUBLE ARROW
    <Multi_key> <equal> <less> <greater> : "⇔" U21D4 # LEFT RIGHT DOUBLE ARROW
    <Multi_key> <minus> <less> <greater> : "↔" U2194 # LEFT RIGHT ARROW

    <Multi_key> <s> <u> <m> : "∑"
    <Multi_key> <f> <a> : "∀"                 # for all
    <Multi_key> <t> <e> : "∃"                 # there exists
    <Multi_key> <slash> <t> <e> : "∄"
    <Multi_key> <asciitilde> <equal> : "≅"    # approximately equal
    <Multi_key> <asciitilde> <asciitilde> : "≈"   U2248   # ~ ~ ALMOST EQUAL TO
    <Multi_key> <i> <n> : "∈" U2208
    <Multi_key> <n> <i> <n> : "∉" U2209

    # White Right Pointing Index
    <Multi_key> <rght> : "☞" U261E

    <Multi_key> <o> <c> : "℃"
    <Multi_key> <o> <f> : "℉"

    <Multi_key> <x> <x> : "❌"  # Cross Mark

    <Multi_key> <apostrophe> <apostrophe> : "́" # stress

    <Multi_key> <O> <slash> : "⌀" U2300 # DIAMETER SIGN
    <Multi_key> <slash> <O> : "⌀" U2300 # DIAMETER SIGN
    <Multi_key> <r> <r> : "√" U221A # SQUARE ROOT
    <Multi_key> <r> <3> : "∛" U221B # CUBE ROOT
    <Multi_key> <m> <A> : "∀" U2200 # FOR ALL
    <Multi_key> <m> <E> : "∃" U2203 # THERE EXISTS
    <Multi_key> <m> <i> : "∊" U220A # SMALL ELEMENT OF
    <Multi_key> <m> <d> : "∂" U2202 # PARTIAL DIFFERENTIAL
    <Multi_key> <m> <D> : "∆" U2206 # INCREMENT, Laplace operator
    <Multi_key> <m> <S> : "∑" U2211 # N-ARY SUMMATION, Sigma
    <Multi_key> <m> <I> : "∫" U222B # INTEGRAL
    <Multi_key> <m> <minus> : "−" U2212 # MINUS SIGN
    <Multi_key> <equal> <asciitilde> : "≈" U2248 # ALMOST EQUAL TO
    <Multi_key> <asciitilde> <equal> : "≈" U2248 # ALMOST EQUAL TO
    <Multi_key> <underscore> <underscore> : "‾" U023E # OVERLINE
    <Multi_key> <equal> <slash>  	: "≠"   U2260 # NOT EQUAL TO
    <Multi_key> <slash> <equal>  	: "≠"   U2260 # NOT EQUAL TO
    <Multi_key> <minus> <equal> 	: "≡"   U2261 # IDENTICAL TO
    <Multi_key> <equal> <minus> 	: "≡"   U2261 # IDENTICAL TO
    <Multi_key> <m> <less> <equal> : "≤" U2264 # LESS-THAN OR EQUAL TO
    <Multi_key> <m> <greater> <equal> : "≥" U2265 # GREATER-THAN OR EQUAL TO
    <Multi_key> <m> <o> <o> : "∞" # infty
    <Multi_key> <m> <_> <i> : "ᵢ" # subscript i
    <Multi_key> <m> <^> <i> : "ⁱ" # superscript i
    <Multi_key> <m> <_> <minus> : "₋" # subscript minus
    <Multi_key> <m> <^> <minus> : "⁻" # superscript minus
    <Multi_key> <m> <_> <plus> : "₊" # subscript plus
    <Multi_key> <m> <^> <plus> : "⁺" # superscript plus
    <Multi_key> <m> <asterisk> : "∘" # ring (function compose) operator
    <Multi_key> <m> <period> : "∙" # dot operator
    <Multi_key> <m> <asciitilde> : "∝" # proportional to
    <Multi_key> <q> <e> <d> : "∎" # q.e.d.
  '';
}

{
  services.xcape = {
    enable = pkgs.stdenv.isLinux;
    mapExpression = {
      Control_L = "Escape";
    };
  };
}

{ lib, python3Packages }:
python3Packages.buildPythonApplication {
  name = "naga-1.0";

  src = lib.cleanSource ./.;

  propagatedBuildInputs = [
    python3Packages.evdev
  ];
}

{
  naga = pkgs.callPackage ./naga { };
}

{
  home.packages = pkgs.lib.linux-only [ pkgs.naga ];
}

{
  users.users.rasen.extraGroups = [ "input" ];
}

{
  networking = {
    hostName = name;

    networkmanager = {
      enable = true;
      wifi.powersave = false;
    };

    # disable wpa_supplicant
    wireless.enable = false;
  };

  users.extraUsers.rasen.extraGroups = [ "networkmanager" ];
}

{
  home.packages = pkgs.lib.linux-only [ pkgs.networkmanagerapplet ];
}

{
  services.openssh = {
    enable = true;
    passwordAuthentication = false;
  };
}

{
  programs.mosh.enable = true;
}

{
  services.dnsmasq = {
    enable = true;

    # These are used in addition to resolv.conf
    servers = [
      "8.8.8.8"
      "8.8.4.4"
    ];

    extraConfig = ''
      interface=lo
      bind-interfaces
      listen-address=127.0.0.1
      cache-size=1000

      no-negcache
    '';
  };
}

{
  networking.firewall = {
    enable = true;
    allowPing = false;

    connectionTrackingModules = [];
    autoLoadConntrackHelpers = false;
  };
}

{
  services.locate = {
    enable = true;
    localuser = "rasen";
  };
}

{
  services.gitolite = {
    enable = true;
    user = "git";
    adminPubkey = "ssh-rsa AAAAB3NzaC1yc2EAAAADAQABAAABAQDHH15uiQw3jBbrdlcRb8wOr8KVltuwbHP/JOFAzXFO1l/4QxnKs6Nno939ugULM7Lu0Vx5g6FreuCOa2NMWk5rcjIwOzjrZnHZ7aoAVnE7H9scuz8NGnrWdc1Oq0hmcDxdZrdKdB6CPG/diGWNZy77nLvz5JcX1kPLZENPeApCERwR5SvLecA4Es5JORHz9ssEcf8I7VFpAebfQYDu+VZZvEu03P2+5SXv8+5zjiuxM7qxzqRmv0U8eftii9xgVNC7FaoRBhhM7yKkpbnqX7IeSU3WeVcw4+d1d8b9wD/sFOyGc1xAcvafLaGdgeCQGU729DupRRJokpw6bBRQGH29 rasen@omicron";
  };
}

{
  services.syncthing = {
    enable = true;
    user = "rasen";
    dataDir = "/home/rasen/.config/syncthing";
    configDir = "/home/rasen/.config/syncthing";
    openDefaultPorts = true;
  };
}

{
  environment.systemPackages = [ pkgs.syncthing ];
}

(let
  commonOptions = {
    # repo = "[email protected]:.";
    repo = "/run/media/ext-data/borg";
    removableDevice = true;

    encryption.mode = "keyfile-blake2";
    encryption.passCommand = "cat /root/secrets/borg";
    compression = "auto,lzma,9";
    doInit = false;
    environment = { BORG_RSH = "ssh -i /root/.ssh/borg"; };
    # UTC timestamp
    dateFormat = "-u +%Y-%m-%dT%H:%M:%S";

    prune.keep = {
      daily = 7;
      weekly = 4;
      monthly = 12;
      yearly = -1;
    };
  };
in {
  services.borgbackup.jobs."all" = commonOptions // {
    archiveBaseName = "${config.networking.hostName}";
    paths = [
      "/var/lib/gitolite/"
      "/home/rasen/backup/"
      "/home/rasen/.ssh/"
      "/home/rasen/.gnupg/"
      "/home/rasen/.password-store/"
      "/home/rasen/dotfiles/"
      "/home/rasen/org/"
      "/home/rasen/syncthing/"

      # Mail
      "/home/rasen/Mail/"
      "/home/rasen/.mbsync/"
    ];
    exclude = [
      # Scanning notmuch takes too much time and doesn't make much
      # sense as it is easily replicable
      "/home/rasen/Mail/.notmuch"
    ];
  };

  # Start backup on boot if missed one while laptop was off
  systemd.timers.borgbackup-job-all.timerConfig = {
    Persistent = lib.mkForce true;
  };
})

{
  # Prepare mount point
  system.activationScripts = {
    ensure-ext-data = {
      text = ''
        mkdir -p /run/media/ext-data
      '';
      deps = [];
    };
  };

  fileSystems."/run/media/ext-data" = {
    device = "/dev/disk/by-uuid/63972645-dbc8-4543-b854-91038b2da6cb";
    fsType = "ext4";
    options = [
      "noauto"                       # do not mount on boot
      "nofail"
      "x-systemd.automount"          # mount when needed
      "x-systemd.device-timeout=1ms" # device should be plugged already—do not wait for it
      "x-systemd.idle-timout=5m"     # unmount after 5 min of inactivity
    ];
  };
}

{
  xdg.configFile."direnv/lib/use_flake.sh".text = ''
    use_flake() {
      watch_file flake.nix
      watch_file flake.lock
      eval "$(nix print-dev-env $@ --profile "$(direnv_layout_dir)/flake-profile")"
    }
  '';
}

{
  programs.direnv.enable = true;
  programs.direnv.nix-direnv.enable = true;
  services.lorri.enable = pkgs.stdenv.isLinux;
}

{
  virtualisation.virtualbox.host.enable = true;
  users.extraGroups.vboxusers.members = ["rasen"];
}

{
  services.logind = {
    lidSwitchDocked = "ignore";
    lidSwitchExternalPower = "ignore";
  };
}

{
  programs.autorandr = {
    enable = true;
    profiles =
      let
        omicron = "00ffffffffffff004d104a14000000001e190104a51d11780ede50a3544c99260f505400000001010101010101010101010101010101cd9180a0c00834703020350026a510000018a47480a0c00834703020350026a510000018000000fe0052584e3439814c513133335a31000000000002410328001200000b010a202000cc";
        work = "00ffffffffffff004d108d1400000000051c0104a52213780ea0f9a95335bd240c5157000000010101010101010101010101010101014dd000a0f0703e803020350058c210000018000000000000000000000000000000000000000000fe00464e564452804c513135364431000000000002410328011200000b010a202000ee";
        home-monitor = "00ffffffffffff0010acc0a042524530031c010380351e78eae245a8554da3260b5054a54b00714f8180a9c0a940d1c0e10001010101a36600a0f0701f80302035000f282100001a000000ff004438565846383148304552420a000000fc0044454c4c205032343135510a20000000fd001d4c1e8c1e000a202020202020018802032ef15390050402071601141f1213272021220306111523091f07830100006d030c001000003c200060030201023a801871382d40582c25000f282100001e011d8018711c1620582c25000f282100009e04740030f2705a80b0588a000f282100001e565e00a0a0a02950302035000f282100001a0000000000000000008a";
        home-monitor-2 = "00ffffffffffff004c2d767135305943341f0103804024782a6115ad5045a4260e5054bfef80714f810081c081809500a9c0b300010108e80030f2705a80b0588a0078682100001e000000fd0030901eff8f000a202020202020000000fc004c53323841473730304e0a2020000000ff0048345a524330303236380a2020017f02034bf14761103f04035f762309070783010000e305c0006b030c001000b83c200020016dd85dc401788053003090c354056d1a0000020f3090000461045a04e6060501615a00e30f4100565e00a0a0a029503020350078682100001a6fc200a0a0a055503020350078682100001a0000000000000000000000000000000037";
        work-monitor = "00ffffffffffff0010acc2d0545741312c1b010380351e78eaad75a9544d9d260f5054a54b008100b300d100714fa9408180d1c00101565e00a0a0a02950302035000e282100001a000000ff004d59334e44374234314157540a000000fc0044454c4c205032343138440a20000000fd0031561d711c000a202020202020010302031bb15090050403020716010611121513141f2065030c001000023a801871382d40582c45000e282100001e011d8018711c1620582c25000e282100009ebf1600a08038134030203a000e282100001a7e3900a080381f4030203a000e282100001a00000000000000000000000000000000000000000000000000000000d8";
      in {
      "omicron" = {
        fingerprint = {
          eDP-1 = omicron;
        };
        config = {
          eDP-1 = {
            enable = true;
            primary = true;
            position = "0x0";
            mode = "3200x1800";
            rate = "60.00";
          };
        };
      };
      "omicron-home" = {
        fingerprint = {
          eDP-1 = omicron;
          DP-1 = home-monitor;
        };
        config = {
          eDP-1.enable = false;
          DP-1 = {
            enable = true;
            primary = true;
            position = "0x0";
            mode = "3840x2160";
            rate = "60.00";
          };
        };
      };
      "omicron-home-2" = {
        fingerprint = {
          eDP-1 = omicron;
          DP-1 = home-monitor-2;
        };
        config = {
          eDP-1.enable = false;
          DP-1 = {
            enable = true;
            primary = true;
            position = "0x0";
            mode = "3840x2160";
            rate = "60.00";
          };
        };
      };
      "omicron-home-monitor" = {
        fingerprint = {
          DP-1 = home-monitor;
        };
        config = {
          DP-1 = {
            enable = true;
            primary = true;
            position = "0x0";
            mode = "3840x2160";
            rate = "60.00";
          };
        };
      };
      omicron-home-monitor-2 = {
        fingerprint = {
          DP-1 = home-monitor-2;
        };
        config = {
          DP-1 = {
            enable = true;
            primary = true;
            position = "0x0";
            mode = "3840x2160";
            rate = "60.00";
          };
        };
      };
    };
  };
}

{
  hardware.acpilight.enable = true;
  environment.systemPackages = [ pkgs.acpilight ];
  users.extraUsers.rasen.extraGroups = [ "video" ];
}