2016-07-22 13:01:40 +02:00
|
|
|
{ config, pkgs, ... }:
|
|
|
|
|
|
|
|
{
|
|
|
|
environment.systemPackages = with pkgs.haskellPackages; with pkgs; [
|
2016-09-21 15:11:17 +02:00
|
|
|
idea-community-eap
|
2017-12-26 11:01:31 +01:00
|
|
|
# clion-eap
|
2016-07-22 13:01:40 +02:00
|
|
|
texlive.combined.scheme-full biber
|
|
|
|
gimp
|
|
|
|
inkscape
|
|
|
|
jabref
|
2017-08-20 10:22:57 +02:00
|
|
|
libreoffice-fresh
|
2017-09-02 09:10:46 +02:00
|
|
|
calibre
|
2018-01-06 13:08:22 +01:00
|
|
|
goldendict
|
2017-06-29 13:41:37 +02:00
|
|
|
|
2017-12-26 11:01:31 +01:00
|
|
|
qutebrowser
|
2017-08-26 10:55:28 +02:00
|
|
|
|
2017-08-20 19:30:11 +02:00
|
|
|
open-wbo # only in 17.09+
|
|
|
|
|
2017-01-28 08:28:50 +01:00
|
|
|
vscode
|
2018-01-06 11:28:40 +01:00
|
|
|
llvmPackages_5.clang
|
2016-07-22 13:01:40 +02:00
|
|
|
|
2017-09-22 20:24:13 +02:00
|
|
|
stack
|
|
|
|
|
2017-11-11 08:48:27 +01:00
|
|
|
lean
|
2017-12-26 11:01:31 +01:00
|
|
|
coq
|
2016-12-26 17:22:22 +01:00
|
|
|
|
2018-01-06 11:29:04 +01:00
|
|
|
electrum
|
|
|
|
|
2017-12-26 11:01:31 +01:00
|
|
|
rustup
|
2016-12-26 17:22:22 +01:00
|
|
|
# cargo rustc
|
2016-07-22 13:01:40 +02:00
|
|
|
] ++ (with aspellDicts; [ en de fr nl ]);
|
|
|
|
|
2016-12-26 17:22:22 +01:00
|
|
|
nixpkgs.config.packageOverrides = pkgs: with pkgs; {
|
|
|
|
myemacs = emacs25.override {
|
|
|
|
withGTK2 = false;
|
|
|
|
withGTK3 = true;
|
|
|
|
withXwidgets = true;
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
2018-01-05 18:46:15 +01:00
|
|
|
programs.wireshark = {
|
|
|
|
enable = true;
|
|
|
|
package = pkgs.wireshark;
|
|
|
|
};
|
|
|
|
users.extraUsers.gebner.extraGroups = [ "wireshark" ];
|
|
|
|
|
2016-07-22 13:01:40 +02:00
|
|
|
}
|