2016-07-22 11:01:40 +00:00
|
|
|
{ config, pkgs, ... }:
|
|
|
|
|
|
|
|
{
|
2020-08-31 08:43:13 +00:00
|
|
|
imports = [
|
2021-10-05 15:39:35 +00:00
|
|
|
./fix-firefox.nix
|
2020-08-31 08:43:13 +00:00
|
|
|
];
|
|
|
|
|
2016-07-22 11:01:40 +00:00
|
|
|
environment.systemPackages = with pkgs.haskellPackages; with pkgs; [
|
|
|
|
gmpc
|
2021-10-30 13:28:34 +00:00
|
|
|
mpdevil
|
2016-07-22 11:01:40 +00:00
|
|
|
m4
|
2021-05-14 10:20:55 +00:00
|
|
|
(pkgs.openjdk or pkgs.openjdk14 or pkgs.openjdk12 or pkgs.openjdk11 or pkgs.openjdk10 or openjdk8)
|
2016-07-22 11:01:40 +00:00
|
|
|
sbt scala
|
2021-06-13 07:36:08 +00:00
|
|
|
ungoogled-chromium
|
|
|
|
# chromium
|
2021-10-05 15:39:35 +00:00
|
|
|
firefox
|
2016-07-22 11:01:40 +00:00
|
|
|
qalculate-gtk
|
2018-11-22 13:08:46 +00:00
|
|
|
libqalculate
|
2016-07-22 11:01:40 +00:00
|
|
|
viewnior
|
|
|
|
gnupg
|
2019-06-21 08:44:38 +00:00
|
|
|
(pass.withExtensions (ext: [ ext.pass-otp ]))
|
|
|
|
xclip pwgen
|
2016-07-22 11:01:40 +00:00
|
|
|
remmina
|
|
|
|
ledger
|
2018-06-10 13:14:20 +00:00
|
|
|
# hledger
|
2018-01-06 10:28:40 +00:00
|
|
|
# hledger-diff
|
2016-11-14 15:47:30 +00:00
|
|
|
cmake ninja
|
2021-05-23 18:43:20 +00:00
|
|
|
bear
|
2016-07-22 11:01:40 +00:00
|
|
|
mpv
|
2017-06-18 13:00:45 +00:00
|
|
|
neomutt notmuch
|
2016-07-22 11:01:40 +00:00
|
|
|
patchelf
|
2019-05-14 14:14:33 +00:00
|
|
|
loc
|
2018-06-10 13:14:20 +00:00
|
|
|
tokei
|
2016-10-03 13:21:18 +00:00
|
|
|
ripgrep
|
2016-08-20 16:14:37 +00:00
|
|
|
imagemagick
|
2017-08-05 15:42:59 +00:00
|
|
|
mercurial
|
2022-03-20 13:58:40 +00:00
|
|
|
(pkgs.man-pages or manpages)
|
2016-07-22 11:01:40 +00:00
|
|
|
|
2020-11-12 13:09:44 +00:00
|
|
|
dfeet
|
|
|
|
|
2018-03-09 15:01:10 +00:00
|
|
|
geoipWithDatabase
|
|
|
|
|
2018-10-28 13:54:38 +00:00
|
|
|
nix-index
|
|
|
|
|
2017-10-13 14:09:43 +00:00
|
|
|
alacritty
|
|
|
|
|
2021-05-24 18:09:46 +00:00
|
|
|
neovim-qt
|
|
|
|
|
2020-08-22 12:42:24 +00:00
|
|
|
clinfo
|
|
|
|
|
2017-08-05 15:42:59 +00:00
|
|
|
lm_sensors
|
2017-08-06 14:32:37 +00:00
|
|
|
hdparm
|
2018-08-05 08:42:42 +00:00
|
|
|
smartmontools
|
2017-08-06 14:32:37 +00:00
|
|
|
lsof
|
2017-08-05 15:42:59 +00:00
|
|
|
|
2016-07-22 11:01:40 +00:00
|
|
|
pdfpc
|
2022-04-25 10:31:38 +00:00
|
|
|
poppler_utils
|
2016-07-22 11:01:40 +00:00
|
|
|
|
|
|
|
# emacs
|
2017-02-10 08:34:34 +00:00
|
|
|
emacs
|
2016-07-22 11:01:40 +00:00
|
|
|
ghostscript # for auctex
|
|
|
|
aspell
|
|
|
|
|
2019-10-01 11:01:20 +00:00
|
|
|
(pkgs.nodejs_latest or pkgs.nodejs-12_x or pkgs.nodejs-11_x or pkgs.nodejs-10_x or nodejs-9_x)
|
2017-02-14 16:27:01 +00:00
|
|
|
|
2016-07-22 11:01:40 +00:00
|
|
|
mediainfo
|
|
|
|
|
|
|
|
isync
|
|
|
|
msmtp
|
2020-07-19 16:37:57 +00:00
|
|
|
vdirsyncer khard khal
|
2016-07-22 11:01:40 +00:00
|
|
|
|
2018-12-18 10:29:14 +00:00
|
|
|
rclone
|
|
|
|
duplicity
|
2022-09-17 15:13:29 +00:00
|
|
|
restic
|
2019-11-04 10:22:31 +00:00
|
|
|
magic-wormhole
|
2018-12-18 10:29:14 +00:00
|
|
|
|
2017-08-26 08:55:28 +00:00
|
|
|
linuxPackages.perf
|
2016-09-21 13:11:24 +00:00
|
|
|
|
2018-09-01 13:43:47 +00:00
|
|
|
qrencode zbar
|
|
|
|
|
2016-07-22 11:01:40 +00:00
|
|
|
veriT
|
|
|
|
minisat
|
|
|
|
picosat
|
2016-07-22 17:27:53 +00:00
|
|
|
glucose
|
2016-07-22 11:01:40 +00:00
|
|
|
prover9
|
|
|
|
eprover
|
2022-01-30 14:22:26 +00:00
|
|
|
vampire
|
2016-07-22 11:01:40 +00:00
|
|
|
metis-prover
|
|
|
|
spass
|
|
|
|
z3
|
|
|
|
cvc4
|
|
|
|
graphviz
|
2018-06-10 13:14:20 +00:00
|
|
|
open-wbo
|
2016-07-22 11:01:40 +00:00
|
|
|
# toysolver
|
2020-12-26 11:12:23 +00:00
|
|
|
] ++ (with aspellDicts; [ en de fr nl ])
|
|
|
|
++ (with gst_all_1; [ gstreamer gstreamer.dev
|
|
|
|
gst-plugins-bad gst-plugins-good gst-plugins-base gst-plugins-ugly ]);
|
2016-07-22 11:01:40 +00:00
|
|
|
|
|
|
|
nixpkgs.config.allowTexliveBuilds = true;
|
2016-09-21 13:11:17 +00:00
|
|
|
nixpkgs.config.allowUnfree = true;
|
2022-05-14 10:01:32 +00:00
|
|
|
nixpkgs.config.allowUnfreePredicate = (pkg: true);
|
2019-01-02 12:57:28 +00:00
|
|
|
nixpkgs.config.android_sdk.accept_license = true;
|
2016-07-22 11:01:40 +00:00
|
|
|
|
2020-05-23 07:40:18 +00:00
|
|
|
programs.adb.enable = true;
|
|
|
|
users.extraUsers.gebner.extraGroups = [ "adbusers" ];
|
|
|
|
|
2022-01-30 14:43:59 +00:00
|
|
|
# nixpkgs.config.packageOverrides = pkgs: with pkgs; {
|
|
|
|
# };
|
2022-01-12 20:38:34 +00:00
|
|
|
|
2016-07-22 11:01:40 +00:00
|
|
|
}
|