2016-07-22 11:01:40 +00:00
|
|
|
{ config, pkgs, ... }:
|
|
|
|
|
|
|
|
{
|
|
|
|
environment.systemPackages = with pkgs.haskellPackages; with pkgs; [
|
2016-09-21 13:11:17 +00:00
|
|
|
idea-community-eap
|
2019-01-15 09:37:51 +00:00
|
|
|
# clion-eap
|
2016-07-22 11:01:40 +00:00
|
|
|
texlive.combined.scheme-full biber
|
|
|
|
gimp
|
2019-02-27 10:16:19 +00:00
|
|
|
inkscape
|
2019-01-15 09:37:51 +00:00
|
|
|
# jabref
|
2020-08-17 18:49:35 +00:00
|
|
|
libreoffice-fresh
|
2018-06-10 13:14:20 +00:00
|
|
|
stablePkgs
|
2018-06-14 11:24:42 +00:00
|
|
|
# calibre
|
2018-01-06 12:08:22 +00:00
|
|
|
goldendict
|
2017-06-29 11:41:37 +00:00
|
|
|
|
2020-11-12 13:16:43 +00:00
|
|
|
xournal
|
2020-11-05 12:24:45 +00:00
|
|
|
(xournalpp.overrideDerivation (_: {
|
|
|
|
patches = [
|
|
|
|
./xournalpp-cursor-blink.patch
|
|
|
|
];
|
|
|
|
}))
|
|
|
|
|
2017-01-28 07:28:50 +00:00
|
|
|
vscode
|
2020-06-07 09:21:11 +00:00
|
|
|
ccls
|
2016-07-22 11:01:40 +00:00
|
|
|
|
2020-05-22 09:17:53 +00:00
|
|
|
# stack
|
2017-09-22 18:24:13 +00:00
|
|
|
|
2018-06-10 13:14:20 +00:00
|
|
|
elan
|
2018-08-07 12:47:55 +00:00
|
|
|
# coq
|
2019-01-15 09:37:51 +00:00
|
|
|
# emacsPackages.proofgeneral
|
2018-01-06 10:29:04 +00:00
|
|
|
|
2019-01-15 09:37:51 +00:00
|
|
|
# virtmanager
|
2018-11-12 18:04:15 +00:00
|
|
|
|
2020-08-17 18:49:35 +00:00
|
|
|
(if lib.hasAttr "curaPlugins" pkgs then
|
2019-06-17 11:49:08 +00:00
|
|
|
cura.override {
|
|
|
|
plugins = with curaPlugins; [ octoprint ];
|
|
|
|
}
|
|
|
|
else cura)
|
2019-05-14 13:50:46 +00:00
|
|
|
openscad
|
2020-07-19 16:37:57 +00:00
|
|
|
freecad
|
2020-10-10 13:48:15 +00:00
|
|
|
calculix
|
2019-05-14 13:50:46 +00:00
|
|
|
meshlab
|
|
|
|
|
2020-06-13 10:39:18 +00:00
|
|
|
audacious
|
2020-07-14 14:47:09 +00:00
|
|
|
flac
|
|
|
|
clementine
|
|
|
|
|
|
|
|
uvccapture
|
2020-06-13 10:39:18 +00:00
|
|
|
|
2019-05-14 13:50:46 +00:00
|
|
|
yarn
|
|
|
|
|
2018-11-18 12:14:46 +00:00
|
|
|
gnome3.baobab
|
|
|
|
|
2017-12-26 10:01:31 +00:00
|
|
|
rustup
|
2016-07-22 11:01:40 +00:00
|
|
|
] ++ (with aspellDicts; [ en de fr nl ]);
|
|
|
|
|
2018-01-05 17:46:15 +00:00
|
|
|
programs.wireshark = {
|
|
|
|
enable = true;
|
|
|
|
package = pkgs.wireshark;
|
|
|
|
};
|
|
|
|
users.extraUsers.gebner.extraGroups = [ "wireshark" ];
|
|
|
|
|
2016-07-22 11:01:40 +00:00
|
|
|
}
|