2016-07-22 13:01:40 +02:00
|
|
|
{ config, pkgs, ... }:
|
|
|
|
|
2019-05-14 15:50:46 +02:00
|
|
|
let curaWorkaround = with pkgs; stdenv.mkDerivation {
|
|
|
|
name = "cura-without-openmp-${cura.version}";
|
|
|
|
# https://github.com/NixOS/nixpkgs/issues/59901
|
|
|
|
buildPhase = ''
|
|
|
|
makeWrapper ${cura}/bin/cura $out/bin/cura --set OMP_NUM_THREADS 1
|
2019-05-14 16:12:24 +02:00
|
|
|
mkdir $out/nix-support
|
|
|
|
cp ${cura}/nix-support/propagated-user-env-packages $out/nix-support
|
2019-05-14 15:50:46 +02:00
|
|
|
'';
|
|
|
|
phases = [ "buildPhase" ];
|
|
|
|
nativeBuildInputs = [ makeWrapper ];
|
|
|
|
}; in
|
|
|
|
|
2016-07-22 13:01:40 +02:00
|
|
|
{
|
|
|
|
environment.systemPackages = with pkgs.haskellPackages; with pkgs; [
|
2016-09-21 15:11:17 +02:00
|
|
|
idea-community-eap
|
2019-01-15 10:37:51 +01:00
|
|
|
# clion-eap
|
2016-07-22 13:01:40 +02:00
|
|
|
texlive.combined.scheme-full biber
|
|
|
|
gimp
|
2019-02-27 11:16:19 +01:00
|
|
|
inkscape
|
2019-01-15 10:37:51 +01:00
|
|
|
# jabref
|
2018-06-10 15:07:27 +02:00
|
|
|
stable.libreoffice-fresh
|
2018-06-10 15:14:20 +02:00
|
|
|
stablePkgs
|
2018-06-14 13:24:42 +02:00
|
|
|
# calibre
|
2018-01-06 13:08:22 +01:00
|
|
|
goldendict
|
2017-06-29 13:41:37 +02:00
|
|
|
|
2017-01-28 08:28:50 +01:00
|
|
|
vscode
|
2018-08-14 14:58:54 +02:00
|
|
|
cquery
|
2016-07-22 13:01:40 +02:00
|
|
|
|
2017-09-22 20:24:13 +02:00
|
|
|
stack
|
|
|
|
|
2018-06-10 15:14:20 +02:00
|
|
|
elan
|
2018-08-07 14:47:55 +02:00
|
|
|
# coq
|
2019-01-15 10:37:51 +01:00
|
|
|
# emacsPackages.proofgeneral
|
2018-01-06 11:29:04 +01:00
|
|
|
|
2019-01-15 10:37:51 +01:00
|
|
|
# virtmanager
|
2018-11-12 19:04:15 +01:00
|
|
|
|
2019-05-14 15:50:46 +02:00
|
|
|
curaWorkaround
|
|
|
|
openscad
|
|
|
|
# freecad
|
|
|
|
meshlab
|
|
|
|
|
|
|
|
yarn
|
|
|
|
|
2018-11-18 13:14:46 +01:00
|
|
|
gnome3.baobab
|
|
|
|
|
2017-12-26 11:01:31 +01:00
|
|
|
rustup
|
2016-07-22 13:01:40 +02:00
|
|
|
] ++ (with aspellDicts; [ en de fr nl ]);
|
|
|
|
|
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
|
|
|
}
|