2022-04-20 17:05:02 +00:00
|
|
|
{ pkgs, config, lib, ... }:
|
2021-10-09 02:52:28 +00:00
|
|
|
|
|
|
|
|
{
|
|
|
|
|
imports = [
|
2022-04-20 17:05:02 +00:00
|
|
|
# Common configuration
|
|
|
|
|
./common.nix
|
|
|
|
|
# We use our own firefox
|
|
|
|
|
./firefox.nix
|
|
|
|
|
# osu!
|
|
|
|
|
./osu.nix
|
2021-10-09 02:52:28 +00:00
|
|
|
];
|
|
|
|
|
|
|
|
|
|
# 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; [
|
2022-04-20 17:05:02 +00:00
|
|
|
# CLI stuff
|
|
|
|
|
python
|
|
|
|
|
zip
|
|
|
|
|
# TeX
|
|
|
|
|
texlive.combined.scheme-full
|
2021-10-09 02:52:28 +00:00
|
|
|
|
2022-04-20 17:05:02 +00:00
|
|
|
# Java & sbt
|
|
|
|
|
openjdk11
|
|
|
|
|
sbt
|
2021-10-09 02:52:28 +00:00
|
|
|
]);
|
|
|
|
|
|
2022-04-20 17:05:02 +00:00
|
|
|
# Enable X11 configuration
|
|
|
|
|
linux.graphical.type = "x11";
|
|
|
|
|
linux.graphical.x11.hidpi = true;
|
|
|
|
|
linux.graphical.x11.enablei3 = true;
|
|
|
|
|
|
2021-10-09 02:52:28 +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";
|
|
|
|
|
}
|
|
|
|
|
|
