2020-01-12 15:17:17 -08:00
|
|
|
# ...
|
|
|
|
|
|
|
|
|
|
{ config, lib, pkgs, ... }:
|
|
|
|
|
{
|
|
|
|
|
# Nothing in /tmp should survive a reboot
|
2020-01-13 20:27:27 -08:00
|
|
|
boot.tmpOnTmpfs = true;
|
2020-01-12 15:17:17 -08:00
|
|
|
# Use simple bootloader; I prefer the on-demand BIOs boot menu
|
|
|
|
|
boot.loader.systemd-boot.enable = true;
|
|
|
|
|
boot.loader.efi.canTouchEfiVariables = true;
|
|
|
|
|
|
|
|
|
|
# Just the bear necessities~
|
|
|
|
|
environment.systemPackages = with pkgs; [
|
|
|
|
|
coreutils
|
|
|
|
|
git
|
|
|
|
|
killall
|
|
|
|
|
unzip
|
|
|
|
|
vim
|
|
|
|
|
wget
|
|
|
|
|
# Support for extra filesystems
|
|
|
|
|
sshfs
|
|
|
|
|
exfat
|
|
|
|
|
ntfs3g
|
|
|
|
|
hfsprogs
|
|
|
|
|
];
|
|
|
|
|
|
|
|
|
|
###
|
|
|
|
|
# My user settings
|
|
|
|
|
my = {
|
|
|
|
|
username = "hlissner";
|
|
|
|
|
env.PATH = [ <my/bin> ];
|
|
|
|
|
user = {
|
|
|
|
|
isNormalUser = true;
|
|
|
|
|
uid = 1000;
|
|
|
|
|
extraGroups = [ "wheel" "video" "networkmanager" ];
|
|
|
|
|
shell = pkgs.zsh;
|
|
|
|
|
};
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
# Obey XDG conventions; a tidy $HOME is a tidy mind.
|
|
|
|
|
my.home.xdg.enable = true;
|
|
|
|
|
environment.variables = {
|
|
|
|
|
# These are the defaults, but some applications are buggy when these lack
|
|
|
|
|
# explicit values.
|
|
|
|
|
XDG_CONFIG_HOME = "$HOME/.config";
|
|
|
|
|
XDG_CACHE_HOME = "$HOME/.cache";
|
|
|
|
|
XDG_DATA_HOME = "$HOME/.local/share";
|
|
|
|
|
XDG_BIN_HOME = "$HOME/.local/bin";
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
### Universal defaults
|
|
|
|
|
networking.firewall.enable = true;
|
|
|
|
|
}
|
