2016-07-22 13:01:40 +02:00
|
|
|
{ config, pkgs, ... }:
|
|
|
|
|
|
|
|
{
|
|
|
|
environment.systemPackages = with pkgs.haskellPackages; with pkgs; [
|
|
|
|
gmpc
|
|
|
|
m4
|
2019-04-04 10:35:14 +02:00
|
|
|
(pkgs.openjdk12 or pkgs.openjdk11 or pkgs.openjdk10 or openjdk8)
|
2016-07-22 13:01:40 +02:00
|
|
|
sbt scala
|
|
|
|
chromium
|
2018-10-03 20:47:36 +02:00
|
|
|
firefox
|
2016-07-22 13:01:40 +02:00
|
|
|
qalculate-gtk
|
2018-11-22 14:08:46 +01:00
|
|
|
libqalculate
|
2016-07-22 13:01:40 +02:00
|
|
|
viewnior
|
|
|
|
gnupg
|
|
|
|
pass xclip pwgen
|
|
|
|
remmina
|
|
|
|
ledger
|
2018-06-10 15:14:20 +02:00
|
|
|
# hledger
|
2018-01-06 11:28:40 +01:00
|
|
|
# hledger-diff
|
2016-11-14 16:47:30 +01:00
|
|
|
cmake ninja
|
2016-07-22 13:01:40 +02:00
|
|
|
mpv
|
2017-06-18 15:00:45 +02:00
|
|
|
neomutt notmuch
|
2016-07-22 13:01:40 +02:00
|
|
|
patchelf
|
2019-05-14 16:14:33 +02:00
|
|
|
loc
|
2018-06-10 15:14:20 +02:00
|
|
|
tokei
|
2016-10-03 15:21:18 +02:00
|
|
|
ripgrep
|
2016-08-20 18:14:37 +02:00
|
|
|
imagemagick
|
2017-08-05 17:42:59 +02:00
|
|
|
mercurial
|
2018-11-18 12:03:49 +01:00
|
|
|
manpages
|
2016-07-22 13:01:40 +02:00
|
|
|
|
2018-03-09 16:01:10 +01:00
|
|
|
geoipWithDatabase
|
|
|
|
|
2018-10-28 14:54:38 +01:00
|
|
|
nix-index
|
|
|
|
|
2017-10-13 16:09:43 +02:00
|
|
|
alacritty
|
|
|
|
|
2019-01-02 13:57:28 +01:00
|
|
|
(androidenv.androidPkgs_9_0.platform-tools or androidenv.platformTools) # adb & fastboot
|
2017-06-29 13:40:13 +02:00
|
|
|
|
2017-08-05 17:42:59 +02:00
|
|
|
lm_sensors
|
2017-08-06 16:32:37 +02:00
|
|
|
hdparm
|
2018-08-05 10:42:42 +02:00
|
|
|
smartmontools
|
2017-08-06 16:32:37 +02:00
|
|
|
lsof
|
2017-08-05 17:42:59 +02:00
|
|
|
|
2016-07-22 13:01:40 +02:00
|
|
|
pdfpc
|
|
|
|
|
|
|
|
# emacs
|
2017-02-10 09:34:34 +01:00
|
|
|
emacs
|
2016-07-22 13:01:40 +02:00
|
|
|
ghostscript # for auctex
|
|
|
|
aspell
|
|
|
|
|
2019-03-03 21:08:22 +01:00
|
|
|
(pkgs.nodejs-11_x or pkgs.nodejs-10_x or nodejs-9_x)
|
2017-02-14 17:27:01 +01:00
|
|
|
|
2016-07-22 13:01:40 +02:00
|
|
|
mediainfo
|
|
|
|
|
|
|
|
isync
|
|
|
|
msmtp
|
|
|
|
vdirsyncer khard khal
|
|
|
|
|
2018-12-18 11:29:14 +01:00
|
|
|
rclone
|
|
|
|
duplicity
|
|
|
|
|
2017-08-26 10:55:28 +02:00
|
|
|
linuxPackages.perf
|
2016-09-21 15:11:24 +02:00
|
|
|
|
2018-09-01 15:43:47 +02:00
|
|
|
qrencode zbar
|
|
|
|
|
2016-07-22 13:01:40 +02:00
|
|
|
veriT
|
|
|
|
minisat
|
|
|
|
picosat
|
2016-07-22 19:27:53 +02:00
|
|
|
glucose
|
2016-07-22 13:01:40 +02:00
|
|
|
prover9
|
|
|
|
eprover
|
|
|
|
metis-prover
|
|
|
|
spass
|
|
|
|
z3
|
|
|
|
cvc4
|
|
|
|
graphviz
|
2018-06-10 15:14:20 +02:00
|
|
|
open-wbo
|
2016-07-22 13:01:40 +02:00
|
|
|
# toysolver
|
|
|
|
] ++ (with aspellDicts; [ en de fr nl ]);
|
|
|
|
|
|
|
|
nixpkgs.config.packageOverrides = pkgs: with pkgs; let
|
|
|
|
fetchNixPkgs = { rev, sha256 }:
|
|
|
|
fetchFromGitHub {
|
|
|
|
inherit sha256 rev;
|
|
|
|
owner = "NixOS";
|
|
|
|
repo = "nixpkgs-channels";
|
|
|
|
};
|
|
|
|
stablePkgs = fetchNixPkgs {
|
2019-05-14 15:53:27 +02:00
|
|
|
rev = "7cd2e4ebe8ca91f829b405451586868744270100";
|
|
|
|
sha256 = "0h4lacvqmk356ihc7gnb44dni6m5qza23vlgl6w6jdhr9pjcmdcm";
|
2016-07-22 13:01:40 +02:00
|
|
|
};
|
|
|
|
in {
|
2017-08-05 10:33:59 +02:00
|
|
|
# idea-community-eap = pkgs.idea.idea-community.overrideDerivation (oldAttrs: rec {
|
|
|
|
# name = "idea-community-${version}";
|
|
|
|
# version = "2017.2.eap";
|
|
|
|
# src = pkgs.fetchurl {
|
|
|
|
# url = "https://download.jetbrains.com/idea/ideaIC-172.3544.6-no-jdk.tar.gz";
|
|
|
|
# sha256 = "72874a0393a6388b04353a359eea1d1242f59d6e7b96a4cf43c793602ac7ccdb";
|
|
|
|
# };
|
|
|
|
# });
|
|
|
|
idea-community-eap = pkgs.idea.idea-community;
|
2016-07-22 13:01:40 +02:00
|
|
|
|
2017-04-15 12:15:15 +02:00
|
|
|
# clion-eap = pkgs.idea.clion.overrideDerivation (oldAttrs: rec {
|
|
|
|
# name = "clion-${version}";
|
|
|
|
# version = "2017.1.eap";
|
|
|
|
# src = pkgs.fetchurl {
|
|
|
|
# url = "http://download.jetbrains.com/cpp/CLion-2017.1-RC.tar.gz";
|
|
|
|
# sha256 = "1rv9rcjv4kv39l9r4g5kqbd4y175301a6kr3js3szkjmhqd50qq3";
|
|
|
|
# };
|
|
|
|
# });
|
|
|
|
clion-eap = pkgs.idea.clion;
|
2016-09-21 15:11:17 +02:00
|
|
|
|
2017-09-02 09:10:46 +02:00
|
|
|
# neovim = pkgs.neovim.override {
|
|
|
|
# extraPythonPackages = [ pkgs.pythonPackages.websocket_client ];
|
|
|
|
# };
|
2016-07-22 13:01:40 +02:00
|
|
|
|
|
|
|
stablePkgs = stablePkgs;
|
|
|
|
stable = import stablePkgs {};
|
|
|
|
};
|
|
|
|
|
|
|
|
nixpkgs.config.allowTexliveBuilds = true;
|
2016-09-21 15:11:17 +02:00
|
|
|
nixpkgs.config.allowUnfree = true;
|
2019-01-02 13:57:28 +01:00
|
|
|
nixpkgs.config.android_sdk.accept_license = true;
|
2016-07-22 13:01:40 +02:00
|
|
|
|
|
|
|
}
|