2018-07-19 15:00:41 -06:00
|
|
|
|
{ config, pkgs, options, ... }:
|
2018-06-05 22:55:07 -06:00
|
|
|
|
let
|
2018-07-19 15:00:41 -06:00
|
|
|
|
my-overlays = import ./overlays.nix;
|
2018-06-05 22:55:07 -06:00
|
|
|
|
my-python-packages = python-packages: with python-packages; [
|
|
|
|
|
appdirs
|
|
|
|
|
ipdb
|
2019-02-12 22:43:50 -07:00
|
|
|
|
ipython
|
2019-03-13 17:49:00 -06:00
|
|
|
|
numpy
|
2018-06-05 22:55:07 -06:00
|
|
|
|
pip
|
2018-07-30 13:17:43 -06:00
|
|
|
|
python-language-server
|
2019-02-12 22:43:50 -07:00
|
|
|
|
requests
|
2019-03-13 17:49:00 -06:00
|
|
|
|
tensorflow
|
2019-02-12 22:43:50 -07:00
|
|
|
|
tox
|
|
|
|
|
virtualenv
|
|
|
|
|
virtualenvwrapper
|
2018-06-05 22:55:07 -06:00
|
|
|
|
];
|
|
|
|
|
python-with-my-packages = pkgs.python3.withPackages my-python-packages;
|
|
|
|
|
in
|
|
|
|
|
{
|
2018-07-19 15:00:41 -06:00
|
|
|
|
nixpkgs.overlays = [ my-overlays ];
|
|
|
|
|
# XXX: This ensures that all nix tools pick up the overlays that are set here
|
|
|
|
|
nix.nixPath =
|
|
|
|
|
# Prepend default nixPath values.
|
|
|
|
|
options.nix.nixPath.default ++
|
|
|
|
|
# Append our nixpkgs-overlays.
|
|
|
|
|
[ "nixpkgs-overlays=/etc/nixos/overlays-compat/" ];
|
|
|
|
|
|
2019-01-11 01:23:04 -07:00
|
|
|
|
# Allow all the things
|
2018-06-05 22:55:07 -06:00
|
|
|
|
nixpkgs.config.allowUnfree = true;
|
2019-01-11 01:23:04 -07:00
|
|
|
|
nixpkgs.config.android_sdk.accept_license = true;
|
|
|
|
|
|
|
|
|
|
# Security and networking
|
2018-06-05 22:55:07 -06:00
|
|
|
|
security.sudo.wheelNeedsPassword = false;
|
|
|
|
|
networking.networkmanager.enable = true;
|
2018-06-18 15:41:28 -06:00
|
|
|
|
networking.firewall.enable = false;
|
2018-06-05 22:55:07 -06:00
|
|
|
|
|
2019-01-11 16:48:28 -07:00
|
|
|
|
# Audio
|
|
|
|
|
sound.enable = true;
|
|
|
|
|
hardware.pulseaudio.enable = true;
|
|
|
|
|
|
|
|
|
|
hardware.opengl.driSupport32Bit = true;
|
|
|
|
|
|
2018-06-05 22:55:07 -06:00
|
|
|
|
i18n = {
|
|
|
|
|
consoleKeyMap = "us";
|
|
|
|
|
defaultLocale = "en_US.UTF-8";
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
# Set your time zone.
|
|
|
|
|
# TODO: this should be set dynamically
|
|
|
|
|
time.timeZone = "America/Los_Angeles";
|
|
|
|
|
|
|
|
|
|
fonts = {
|
|
|
|
|
fonts = with pkgs; [
|
|
|
|
|
dejavu_fonts
|
|
|
|
|
emojione
|
2018-06-24 17:39:40 -06:00
|
|
|
|
fira-mono
|
|
|
|
|
font-awesome-ttf
|
|
|
|
|
noto-fonts-emoji
|
2018-06-05 22:55:07 -06:00
|
|
|
|
roboto
|
2018-06-24 17:39:40 -06:00
|
|
|
|
source-code-pro
|
2018-06-05 22:55:07 -06:00
|
|
|
|
source-sans-pro
|
|
|
|
|
source-serif-pro
|
2018-06-24 17:39:40 -06:00
|
|
|
|
twemoji-color-font
|
2018-06-05 22:55:07 -06:00
|
|
|
|
];
|
|
|
|
|
fontconfig = {
|
|
|
|
|
defaultFonts = {
|
|
|
|
|
monospace = [ "Source Code Pro" ];
|
|
|
|
|
sansSerif = [ "Roboto" ];
|
|
|
|
|
serif = [ "Source Serif Pro" ];
|
|
|
|
|
};
|
|
|
|
|
ultimate = {
|
|
|
|
|
enable = false;
|
|
|
|
|
};
|
|
|
|
|
};
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
# List packages installed in system profile. To search, run:
|
|
|
|
|
# $ nix search wget
|
|
|
|
|
environment.systemPackages = with pkgs; [
|
|
|
|
|
|
|
|
|
|
# Applications
|
2018-06-18 14:24:26 -06:00
|
|
|
|
calibre
|
2019-02-27 15:57:18 -07:00
|
|
|
|
dfeet
|
2018-06-18 21:54:39 -06:00
|
|
|
|
discord
|
2018-06-17 04:16:49 -06:00
|
|
|
|
emacs
|
2018-06-05 22:55:07 -06:00
|
|
|
|
firefox
|
2018-07-13 18:28:16 -06:00
|
|
|
|
gitter
|
2018-06-17 04:16:49 -06:00
|
|
|
|
google-chrome
|
2018-06-05 22:55:07 -06:00
|
|
|
|
hexchat
|
2018-07-11 21:28:41 -06:00
|
|
|
|
keybase-gui-fixed
|
2019-02-27 15:57:18 -07:00
|
|
|
|
kleopatra
|
2018-06-05 22:55:07 -06:00
|
|
|
|
kodi
|
2018-06-18 18:12:26 -06:00
|
|
|
|
lxappearance
|
2018-07-19 15:00:41 -06:00
|
|
|
|
pulseeffects
|
2019-02-27 15:57:18 -07:00
|
|
|
|
quassel
|
|
|
|
|
rxvt_unicode
|
|
|
|
|
simplescreenrecorder
|
2018-06-05 22:55:07 -06:00
|
|
|
|
spotify
|
|
|
|
|
termite
|
2018-06-17 04:16:49 -06:00
|
|
|
|
vlc
|
|
|
|
|
xfce.thunar
|
2018-08-27 15:46:20 -06:00
|
|
|
|
wire-desktop
|
2019-02-27 14:53:10 -07:00
|
|
|
|
zoom-us
|
2018-06-05 22:55:07 -06:00
|
|
|
|
|
|
|
|
|
# Appearance
|
|
|
|
|
numix-icon-theme-circle
|
|
|
|
|
gnome3.adwaita-icon-theme
|
|
|
|
|
hicolor-icon-theme
|
2018-06-17 05:36:38 -06:00
|
|
|
|
plasma5.breeze-gtk
|
|
|
|
|
plasma5.breeze-qt5
|
2018-06-18 18:12:26 -06:00
|
|
|
|
gnome-breeze
|
2018-06-05 22:55:07 -06:00
|
|
|
|
|
|
|
|
|
# Desktop
|
2018-06-18 18:12:26 -06:00
|
|
|
|
# haskellPackages.status-notifier-item
|
2018-06-05 22:55:07 -06:00
|
|
|
|
autorandr
|
2019-01-11 01:18:32 -07:00
|
|
|
|
blueman
|
2018-07-19 15:00:41 -06:00
|
|
|
|
clipit
|
2018-06-05 22:55:07 -06:00
|
|
|
|
compton
|
|
|
|
|
feh
|
2018-06-17 04:02:10 -06:00
|
|
|
|
gnome3.gpaste
|
2018-06-18 21:54:39 -06:00
|
|
|
|
kdeconnect
|
2018-06-26 22:55:26 -06:00
|
|
|
|
libnotify
|
2018-08-27 15:46:20 -06:00
|
|
|
|
lxqt.lxqt-powermanagement
|
2018-06-05 22:55:07 -06:00
|
|
|
|
networkmanagerapplet
|
2018-07-08 02:43:59 -06:00
|
|
|
|
customizable-notify-osd
|
2018-06-18 18:12:26 -06:00
|
|
|
|
pasystray-appindicator
|
2018-06-05 22:55:07 -06:00
|
|
|
|
pinentry
|
|
|
|
|
pommed_light
|
|
|
|
|
rofi
|
|
|
|
|
rofi-pass
|
2018-07-04 17:27:39 -06:00
|
|
|
|
skippy-xd
|
2018-06-18 15:09:15 -06:00
|
|
|
|
synergy
|
2019-03-13 17:50:47 -06:00
|
|
|
|
udiskie
|
2018-06-05 22:55:07 -06:00
|
|
|
|
volnoti
|
2019-03-14 19:15:29 -06:00
|
|
|
|
|
|
|
|
|
# xorg
|
|
|
|
|
wmctrl
|
2018-06-05 22:55:07 -06:00
|
|
|
|
xclip
|
|
|
|
|
xdotool
|
2019-03-14 19:15:29 -06:00
|
|
|
|
xorg.xev
|
2018-06-05 22:55:07 -06:00
|
|
|
|
xorg.xkbcomp
|
2019-03-14 19:15:29 -06:00
|
|
|
|
xorg.xwininfo
|
2018-06-05 22:55:07 -06:00
|
|
|
|
xsettingsd
|
|
|
|
|
|
|
|
|
|
# Audio
|
|
|
|
|
pulsemixer
|
|
|
|
|
pavucontrol
|
|
|
|
|
playerctl
|
|
|
|
|
|
|
|
|
|
# Haskell
|
|
|
|
|
cabal-install
|
|
|
|
|
cabal2nix
|
|
|
|
|
ghc
|
|
|
|
|
stack
|
2019-01-11 01:23:04 -07:00
|
|
|
|
haskell.compiler.ghc863
|
2018-06-05 22:55:07 -06:00
|
|
|
|
|
2018-07-10 01:04:26 -06:00
|
|
|
|
# Scala
|
|
|
|
|
sbt
|
|
|
|
|
scala
|
|
|
|
|
|
2018-07-13 18:20:10 -06:00
|
|
|
|
# Node
|
|
|
|
|
nodePackages.npm
|
|
|
|
|
nodejs
|
|
|
|
|
|
2018-07-14 11:32:03 -06:00
|
|
|
|
# Rust
|
|
|
|
|
cargo
|
|
|
|
|
|
2018-08-27 16:52:53 -06:00
|
|
|
|
# Clojure
|
|
|
|
|
boot
|
|
|
|
|
leiningen
|
|
|
|
|
|
2019-03-06 18:07:31 -07:00
|
|
|
|
# Ruby
|
|
|
|
|
ruby
|
|
|
|
|
|
2018-06-05 22:55:07 -06:00
|
|
|
|
# Tools
|
2018-07-30 13:17:43 -06:00
|
|
|
|
automake
|
2018-07-07 22:45:02 -06:00
|
|
|
|
bazaar
|
2018-06-05 22:55:07 -06:00
|
|
|
|
binutils
|
2018-07-19 15:00:41 -06:00
|
|
|
|
dex
|
2018-07-13 18:20:10 -06:00
|
|
|
|
dpkg
|
2019-03-06 18:07:31 -07:00
|
|
|
|
emacs26Packages.cask
|
2019-01-06 20:45:06 -07:00
|
|
|
|
fd
|
2018-07-19 15:00:41 -06:00
|
|
|
|
file
|
2018-06-05 22:55:07 -06:00
|
|
|
|
gcc
|
2018-06-25 19:28:04 -06:00
|
|
|
|
gdb
|
2018-07-10 01:04:26 -06:00
|
|
|
|
gitAndTools.git-sync
|
2018-07-07 22:45:02 -06:00
|
|
|
|
gitAndTools.git-fame
|
|
|
|
|
gitAndTools.hub
|
|
|
|
|
gitFull
|
2018-06-05 22:55:07 -06:00
|
|
|
|
gnumake
|
|
|
|
|
gnupg
|
|
|
|
|
htop
|
2018-06-14 16:16:17 -06:00
|
|
|
|
inotify-tools
|
2018-06-19 23:51:49 -06:00
|
|
|
|
ispell
|
2019-01-06 20:45:06 -07:00
|
|
|
|
jq
|
2018-07-10 01:04:26 -06:00
|
|
|
|
mercurial
|
2019-02-05 10:30:25 -07:00
|
|
|
|
networkmanager-openvpn
|
2018-06-05 22:55:07 -06:00
|
|
|
|
ncdu
|
2018-06-19 23:51:49 -06:00
|
|
|
|
neofetch
|
2019-02-05 10:30:25 -07:00
|
|
|
|
openvpn
|
2018-06-05 22:55:07 -06:00
|
|
|
|
pass
|
2018-07-13 18:20:10 -06:00
|
|
|
|
patchelf
|
2018-06-18 21:54:39 -06:00
|
|
|
|
plasma-workspace
|
2018-06-20 15:08:03 -06:00
|
|
|
|
powertop
|
2019-01-02 13:41:19 -07:00
|
|
|
|
pscircle
|
2018-06-05 22:55:07 -06:00
|
|
|
|
python-with-my-packages
|
2018-06-17 05:36:38 -06:00
|
|
|
|
qt5.qttools
|
2018-06-05 22:55:07 -06:00
|
|
|
|
rcm
|
2018-09-05 10:49:26 -06:00
|
|
|
|
rr
|
2018-06-19 23:30:58 -06:00
|
|
|
|
scrot
|
2018-06-05 22:55:07 -06:00
|
|
|
|
silver-searcher
|
|
|
|
|
stow
|
|
|
|
|
tmux
|
2018-07-19 15:00:41 -06:00
|
|
|
|
unzip
|
2019-02-05 10:30:25 -07:00
|
|
|
|
usbutils
|
2018-07-04 17:27:39 -06:00
|
|
|
|
valgrind
|
2018-06-05 22:55:07 -06:00
|
|
|
|
wget
|
|
|
|
|
zsh
|
|
|
|
|
|
2018-06-14 16:16:17 -06:00
|
|
|
|
# Nix
|
|
|
|
|
nix-prefetch-git
|
|
|
|
|
|
2018-06-05 22:55:07 -06:00
|
|
|
|
# Miscellaneous
|
2018-06-14 16:16:17 -06:00
|
|
|
|
android-udev-rules
|
2018-06-05 22:55:07 -06:00
|
|
|
|
librsvg
|
2018-06-14 17:04:36 -06:00
|
|
|
|
transmission-gtk
|
2018-06-05 22:55:07 -06:00
|
|
|
|
];
|
|
|
|
|
|
2018-07-14 11:31:44 -06:00
|
|
|
|
# XXX: Plasma seems to set this
|
|
|
|
|
# environment.variables = {
|
|
|
|
|
# GDK_PIXBUF_MODULE_FILE = "${pkgs.librsvg.out}/lib/gdk-pixbuf-2.0/2.10.0/loaders.cache";
|
|
|
|
|
# };
|
2018-06-18 21:54:39 -06:00
|
|
|
|
# Enabling zsh will clobber path because of the way it sets up /etc/zshenv
|
|
|
|
|
# programs.zsh.enable = true;
|
|
|
|
|
# Instead we just make sure to source profile from zsh
|
2018-07-30 13:17:43 -06:00
|
|
|
|
|
2018-06-18 21:54:39 -06:00
|
|
|
|
environment.etc."zshenv".text =
|
|
|
|
|
''
|
|
|
|
|
if [ -n "$__ETC_PROFILE_DONE" ]; then return; fi
|
|
|
|
|
source /etc/profile
|
|
|
|
|
'';
|
2018-07-30 13:17:43 -06:00
|
|
|
|
|
|
|
|
|
programs.gnupg.agent = { enable = true; enableSSHSupport = true; };
|
2019-01-02 13:41:19 -07:00
|
|
|
|
programs.adb.enable = true;
|
2019-01-11 16:48:28 -07:00
|
|
|
|
|
2018-06-05 22:55:07 -06:00
|
|
|
|
services.openssh.enable = true;
|
2019-02-14 23:45:26 -07:00
|
|
|
|
|
2018-06-18 14:24:45 -06:00
|
|
|
|
services.avahi = {
|
|
|
|
|
enable = true;
|
|
|
|
|
nssmdns = true;
|
|
|
|
|
publish = {
|
|
|
|
|
enable = true;
|
|
|
|
|
domain = true;
|
|
|
|
|
userServices = true;
|
|
|
|
|
};
|
|
|
|
|
};
|
2019-02-14 23:45:26 -07:00
|
|
|
|
|
2018-07-30 13:17:43 -06:00
|
|
|
|
services.gnome3.at-spi2-core.enable = true;
|
2019-02-14 23:45:26 -07:00
|
|
|
|
|
2018-07-11 21:14:18 -06:00
|
|
|
|
services.kbfs.enable = true;
|
2019-02-14 23:45:26 -07:00
|
|
|
|
|
|
|
|
|
services.autorandr.enable = true;
|
|
|
|
|
|
2018-06-05 22:55:07 -06:00
|
|
|
|
services.xserver = {
|
|
|
|
|
exportConfiguration = true;
|
|
|
|
|
enable = true;
|
|
|
|
|
layout = "us";
|
|
|
|
|
desktopManager = {
|
2018-07-14 11:31:44 -06:00
|
|
|
|
plasma5.enable = true;
|
2018-07-30 13:17:43 -06:00
|
|
|
|
gnome3.enable = true;
|
2018-06-05 22:55:07 -06:00
|
|
|
|
default = "none";
|
|
|
|
|
};
|
|
|
|
|
windowManager = {
|
|
|
|
|
default = "xmonad";
|
|
|
|
|
session = [{
|
|
|
|
|
name = "xmonad";
|
|
|
|
|
start = ''
|
|
|
|
|
/usr/bin/env imalison-xmonad &
|
|
|
|
|
waitPID=$!
|
|
|
|
|
'';
|
|
|
|
|
}];
|
|
|
|
|
};
|
|
|
|
|
displayManager = {
|
|
|
|
|
# lightdm = {
|
|
|
|
|
# enable = true;
|
|
|
|
|
# extraSeatDefaults=''
|
|
|
|
|
# greeter-hide-users=false
|
|
|
|
|
# '';
|
|
|
|
|
# };
|
|
|
|
|
sddm = {
|
|
|
|
|
enable = true;
|
|
|
|
|
};
|
2018-06-14 18:28:48 -06:00
|
|
|
|
sessionCommands = ''
|
|
|
|
|
systemctl --user import-environment GDK_PIXBUF_MODULE_FILE
|
|
|
|
|
'';
|
2018-06-05 22:55:07 -06:00
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
# Define a user account. Don't forget to set a password with ‘passwd’.
|
2018-06-26 22:55:26 -06:00
|
|
|
|
users.extraUsers = let
|
2018-06-05 22:55:07 -06:00
|
|
|
|
extraGroups = [
|
2019-01-02 13:41:19 -07:00
|
|
|
|
"audio"
|
|
|
|
|
"adbusers"
|
|
|
|
|
"disk"
|
|
|
|
|
"networkmanager"
|
|
|
|
|
"systemd-journal"
|
|
|
|
|
"video"
|
|
|
|
|
"wheel"
|
2018-06-05 22:55:07 -06:00
|
|
|
|
];
|
2018-06-26 22:55:26 -06:00
|
|
|
|
userDefaults = {
|
|
|
|
|
inherit extraGroups;
|
|
|
|
|
group = "users";
|
|
|
|
|
isNormalUser = true;
|
|
|
|
|
createHome = true;
|
|
|
|
|
shell = pkgs.zsh;
|
|
|
|
|
};
|
|
|
|
|
in {
|
|
|
|
|
imalison = userDefaults // {
|
|
|
|
|
name = "imalison";
|
|
|
|
|
uid = 1000;
|
|
|
|
|
home = "/home/imalison";
|
|
|
|
|
shell = pkgs.zsh;
|
|
|
|
|
};
|
|
|
|
|
kat = userDefaults // {
|
|
|
|
|
name = "kat";
|
|
|
|
|
uid = 1001;
|
|
|
|
|
home = "/home/kat";
|
|
|
|
|
shell = pkgs.zsh;
|
|
|
|
|
};
|
2018-06-05 22:55:07 -06:00
|
|
|
|
};
|
|
|
|
|
|
2019-01-02 13:41:19 -07:00
|
|
|
|
system.stateVersion = "18.03";
|
2018-06-05 22:55:07 -06:00
|
|
|
|
}
|