Skip to content

Instantly share code, notes, and snippets.

@freeman42x
Created August 31, 2019 08:58
Show Gist options
  • Save freeman42x/a335bfa2c8d2dd3b07454e123449c6c4 to your computer and use it in GitHub Desktop.
Save freeman42x/a335bfa2c8d2dd3b07454e123449c6c4 to your computer and use it in GitHub Desktop.
configuration.nix for Haskell development
# 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’).
{ config, pkgs, ... }:
let
unstableTarball =
fetchTarball
https://github.com/NixOS/nixpkgs-channels/archive/nixos-unstable.tar.gz;
all-hies = import (fetchTarball "https://github.com/infinisil/all-hies/tarball/master") {};
in
{
imports =
[ # Include the results of the hardware scan.
./hardware-configuration.nix
];
nixpkgs.config = {
allowUnfree = true;
oraclejdk.accept_license = true;
packageOverrides = pkgs: {
unstable = import unstableTarball {
config = config.nixpkgs.config;
};
};
};
# Use the GRUB 2 boot loader.
boot.loader.grub.enable = true;
boot.loader.grub.version = 2;
boot.loader.grub.device = "/dev/sdb";
boot.loader.grub.useOSProber = true;
boot.loader.grub.extraConfig = ''
if keystatus --shift ; then
set timeout=-1
else
set timeout=0
fi
'';
# 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/sda"; # or "nodev" for efi only
networking.networkmanager.enable = true;
networking.hostName = "nixos"; # Define your hostname.
# networking.wireless.enable = true; # Enables wireless support via wpa_supplicant.
# Configure network proxy if necessary
# networking.proxy.default = "http://user:password@proxy:port/";
# networking.proxy.noProxy = "127.0.0.1,localhost,internal.domain";
# Select internationalisation properties.
i18n = {
consoleFont = "Lat2-Terminus16";
consoleKeyMap = "us";
defaultLocale = "en_US.UTF-8";
};
# Set your time zone.
time.timeZone = "Europe/Bucharest";
virtualisation.virtualbox.host.enable = true;
# List packages installed in system profile. To search, run:
# $ nix search wget
environment.systemPackages = with pkgs; [
gnumake
autoconf
xdotool # used by Keepass to paste stuff
unixtools.quota # used by the disk report widget
htop
jdiskreport
flameshot
unstable.oraclejre
peek # GIF recorder
gparted
hardinfo
geekbench
git
maven
ark
kate
keepass
unstable.qbittorrent
unstable.dropbox
unstable.google-chrome
unstable.firefox
anki
libreoffice
meld
nixui
nox
nix-info
nix-index
appimage-run
dpkg
openraPackages.mods.raclassic
python2Full
python.pkgs.pip
uget
aria
virtualbox
unstable.discord
unstable.slack
unstable.gitter
unstable.hexchat
unstable.riot-web
zoom-us
obs-studio
unstable.wine
unstable.winetricks
# unstable.playonlinux
unstable.steam
# (unstable.steam.override { extraPkgs = pkgs: [ mono gtk3 gtk3-x11 libgdiplus zlib ]; nativeOnly = true; withPrimus = true; withJava = true; }).run
unstable.vscode
unstable.atom
unstable.emacs
neovim
vim
jetbrains.idea-community
sublime3
haskell.compiler.ghc865
haskellPackages.cabal-install
haskellPackages.stack
haskellPackages.ghcid
unstable.haskellPackages.cabal2nix
haskellPackages.stack2nix
(all-hies.selection { selector = p: { inherit (p) ghc865; }; })
];
# Some programs need SUID wrappers, can be configured further or are
# started in user sessions.
# 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;
# Open ports in the firewall.
# networking.firewall.allowedTCPPorts = [ ... ];
# networking.firewall.allowedUDPPorts = [ ... ];
# Or disable the firewall altogether.
# networking.firewall.enable = false;
# Enable CUPS to print documents.
# services.printing.enable = true;
# Enable sound.
sound.enable = true;
hardware.opengl.driSupport32Bit = true;
hardware.pulseaudio.enable = true;
hardware.pulseaudio.support32Bit = true;
# Enable the X11 windowing system.
services.xserver.enable = true;
services.xserver.layout = "us";
services.xserver.xkbOptions = "eurosign:e";
# Enable touchpad support.
services.xserver.libinput.enable = true;
# Enable the KDE Desktop Environment.
services.xserver.displayManager.sddm.enable = true;
services.xserver.desktopManager.plasma5.enable = true;
# Define a user account. Don't forget to set a password with ‘passwd’.
users.extraUsers.neo = {
isNormalUser = true;
uid = 1000;
home = "/home/neo";
extraGroups = [ "wheel" "networkmanager" "audio" "vboxusers" ];
};
nix.trustedUsers = [ "root" "neo" ];
# 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 = "19.03"; # Did you read the comment?
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment