2018-01-20 20:49:48 +00:00
|
|
|
|
# Edit this configuration file to define what should be installed on
|
|
|
|
|
# your system. Help is available in the configuration.nix(5) man page
|
|
|
|
|
# and in the NixOS manual (accessible by running ‘nixos-help’).
|
|
|
|
|
|
2019-05-18 16:24:22 +00:00
|
|
|
|
{ config, pkgs, lib, ... }:
|
2019-06-30 17:32:29 +00:00
|
|
|
|
let
|
|
|
|
|
unstable = import <nixpkgs-unstable> { config = { allowUnfree = true; }; };
|
|
|
|
|
in
|
2018-01-20 20:49:48 +00:00
|
|
|
|
{
|
|
|
|
|
imports =
|
|
|
|
|
[
|
|
|
|
|
./hardware-configuration.nix
|
|
|
|
|
<stockholm/jeschli>
|
|
|
|
|
<stockholm/jeschli/2configs/urxvt.nix>
|
2019-05-18 18:48:43 +00:00
|
|
|
|
# <stockholm/jeschli/2configs/emacs.nix>
|
2018-01-20 20:49:48 +00:00
|
|
|
|
];
|
|
|
|
|
|
|
|
|
|
krebs.build.host = config.krebs.hosts.bolide;
|
|
|
|
|
# Use the GRUB 2 boot loader.
|
|
|
|
|
boot.loader.grub.enable = true;
|
|
|
|
|
boot.loader.grub.version = 2;
|
|
|
|
|
# boot.loader.grub.efiSupport = true;
|
|
|
|
|
# boot.loader.grub.efiInstallAsRemovable = true;
|
|
|
|
|
# boot.loader.efi.efiSysMountPoint = "/boot/efi";
|
|
|
|
|
# Define on which hard drive you want to install Grub.
|
|
|
|
|
boot.loader.grub.device = "/dev/sdb"; # or "nodev" for efi only
|
|
|
|
|
boot.initrd.luks.devices = [ {
|
|
|
|
|
name = "bla";
|
|
|
|
|
device = "/dev/disk/by-uuid/53f1eeaf-a7ac-456c-a2af-778dd8b8d5b0";
|
|
|
|
|
preLVM = true;
|
|
|
|
|
allowDiscards = true;
|
2018-01-28 18:34:54 +00:00
|
|
|
|
} ];
|
2018-01-20 20:49:48 +00:00
|
|
|
|
# networking.hostName = "bolide"; # Define your hostname.
|
2019-05-18 16:24:22 +00:00
|
|
|
|
# networking.wireless.enable = true; # Enables wireless support via wpa_supplicant.
|
|
|
|
|
networking.networkmanager.enable = true;
|
2019-06-30 15:55:33 +00:00
|
|
|
|
networking.enableB43Firmware = true; #new
|
2018-01-20 20:49:48 +00:00
|
|
|
|
|
|
|
|
|
# Select internationalisation properties.
|
|
|
|
|
# i18n = {
|
|
|
|
|
# consoleFont = "Lat2-Terminus16";
|
|
|
|
|
# consoleKeyMap = "us";
|
|
|
|
|
# defaultLocale = "en_US.UTF-8";
|
|
|
|
|
# };
|
|
|
|
|
|
|
|
|
|
# Set your time zone.
|
|
|
|
|
# time.timeZone = "Europe/Amsterdam";
|
|
|
|
|
|
|
|
|
|
# List packages installed in system profile. To search by name, run:
|
|
|
|
|
# $ nix-env -qaP | grep wget
|
2018-01-28 18:34:54 +00:00
|
|
|
|
environment.shellAliases = {
|
|
|
|
|
n = "nix-shell";
|
|
|
|
|
stocki = pkgs.writeDash "deploy" ''
|
|
|
|
|
cd ~/stockholm
|
|
|
|
|
exec nix-shell -I stockholm="$PWD" --run 'deploy --system="bolide"'
|
|
|
|
|
'';
|
|
|
|
|
};
|
|
|
|
|
nixpkgs.config.allowUnfree = true;
|
|
|
|
|
environment.systemPackages = with pkgs; [
|
|
|
|
|
wget vim
|
|
|
|
|
# system helper
|
|
|
|
|
ag
|
|
|
|
|
curl
|
|
|
|
|
copyq
|
|
|
|
|
dmenu
|
|
|
|
|
git
|
|
|
|
|
i3lock
|
|
|
|
|
keepass
|
|
|
|
|
networkmanagerapplet
|
|
|
|
|
rsync
|
|
|
|
|
terminator
|
|
|
|
|
tmux
|
|
|
|
|
wget
|
|
|
|
|
# rxvt_unicode
|
|
|
|
|
# editors
|
|
|
|
|
emacs
|
|
|
|
|
# internet
|
|
|
|
|
thunderbird
|
|
|
|
|
chromium
|
|
|
|
|
google-chrome
|
|
|
|
|
# programming languages
|
|
|
|
|
go
|
2019-06-30 17:34:00 +00:00
|
|
|
|
gcc9
|
|
|
|
|
ccls
|
|
|
|
|
unstable.clang_8
|
2018-01-28 18:34:54 +00:00
|
|
|
|
ghc
|
|
|
|
|
python35
|
|
|
|
|
python35Packages.pip
|
|
|
|
|
# go tools
|
|
|
|
|
golint
|
|
|
|
|
gotools
|
|
|
|
|
# dev tools
|
|
|
|
|
elmPackages.elm
|
|
|
|
|
gnumake
|
|
|
|
|
jetbrains.pycharm-professional
|
|
|
|
|
jetbrains.webstorm
|
|
|
|
|
jetbrains.goland
|
|
|
|
|
# document viewer
|
|
|
|
|
zathura
|
|
|
|
|
];
|
|
|
|
|
|
|
|
|
|
# Some programs need SUID wrappers, can be configured further or are
|
|
|
|
|
# started in user sessions.
|
|
|
|
|
# programs.bash.enableCompletion = true;
|
|
|
|
|
# programs.mtr.enable = true;
|
|
|
|
|
# programs.gnupg.agent = { enable = true; enableSSHSupport = true; };
|
|
|
|
|
|
|
|
|
|
# List services that you want to enable:
|
|
|
|
|
|
|
|
|
|
# Enable the OpenSSH daemon.
|
|
|
|
|
services.openssh.enable = true;
|
|
|
|
|
|
|
|
|
|
|
2019-05-18 16:24:22 +00:00
|
|
|
|
services.xserver = {
|
|
|
|
|
|
|
|
|
|
enable = true;
|
2018-01-28 18:34:54 +00:00
|
|
|
|
|
2019-05-18 16:24:22 +00:00
|
|
|
|
desktopManager = {
|
|
|
|
|
xfce.enable = true;
|
|
|
|
|
gnome3.enable = true;
|
|
|
|
|
};
|
|
|
|
|
# # Don't install feh into systemPackages
|
|
|
|
|
# # refs <nixpkgs/nixos/modules/services/x11/desktop-managers>
|
|
|
|
|
# desktopManager.session = lib.mkForce [];
|
|
|
|
|
#
|
|
|
|
|
# enable = true;
|
|
|
|
|
# display = 11;
|
|
|
|
|
# tty = 11;
|
|
|
|
|
#
|
|
|
|
|
# dpi = 96;
|
2018-01-28 18:34:54 +00:00
|
|
|
|
|
2019-05-18 16:24:22 +00:00
|
|
|
|
videoDrivers = [ "nvidia" ];
|
|
|
|
|
};
|
2018-01-28 18:34:54 +00:00
|
|
|
|
|
2019-05-18 16:24:22 +00:00
|
|
|
|
services.xserver.windowManager.i3.enable = true;
|
2018-01-28 18:34:54 +00:00
|
|
|
|
|
|
|
|
|
users.extraUsers.jeschli = {
|
|
|
|
|
isNormalUser = true;
|
2019-05-18 16:24:22 +00:00
|
|
|
|
extraGroups = ["docker" "vboxusers" "audio"];
|
2018-01-28 18:34:54 +00:00
|
|
|
|
uid = 1000;
|
|
|
|
|
};
|
|
|
|
|
|
2019-05-18 16:24:22 +00:00
|
|
|
|
hardware.pulseaudio.enable = true;
|
2018-01-28 18:34:54 +00:00
|
|
|
|
# This value determines the NixOS release with which your system is to be
|
|
|
|
|
# compatible, in order to avoid breaking some software such as database
|
|
|
|
|
# servers. You should change this only after NixOS release notes say you
|
|
|
|
|
# should.
|
|
|
|
|
system.stateVersion = "17.09"; # Did you read the comment?
|
2018-01-20 20:49:48 +00:00
|
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|