software updates

This commit is contained in:
Gabriel Ebner 2017-01-28 08:28:50 +01:00
parent 6428369565
commit 1909d263af
3 changed files with 7 additions and 13 deletions

@ -25,7 +25,7 @@
mpv
wireshark-gtk
mutt
stable.goldendict
goldendict
patchelf
bazaar
tokei loc
@ -71,7 +71,6 @@
emacsPackages.proofgeneral
stablePkgs # protect nixpkgs checkout from GC
unstablePkgs
] ++ (with aspellDicts; [ en de fr nl ]);
nixpkgs.config.packageOverrides = pkgs: with pkgs; let
@ -85,17 +84,13 @@
rev = "5237768d62a40236d24fafbd9f4f97f3227399ce";
sha256 = "1j707pwm6ll2cvmqvwfxxq21gd9q7l6s3vi3vc01jklplj2v20is";
};
unstablePkgs = fetchNixPkgs {
rev = "f25006bfaff034dcc45e4cd9bd19c072b20b472d";
sha256 = "1013005fw3rqraql2qcx2w0wba4n2a0w9y1cv6a2jqcjbbsvz0xd";
};
in {
idea-community-eap = pkgs.idea.idea-community.overrideDerivation (oldAttrs: rec {
name = "idea-community-${version}";
version = "2017.1.eap";
src = pkgs.fetchurl {
url = "https://download.jetbrains.com/idea/ideaIC-171.2014.21-no-jdk.tar.gz";
sha256 = "bb2bfd950861d641b0608cd3aed8fae187664d00e035cd692cfba553f1ef1f7b";
url = "https://download.jetbrains.com/idea/ideaIC-171.2613.7-no-jdk.tar.gz";
sha256 = "b93d27056cd9b428cba4c0b0ba3a07e5a5adcc5b390bdfbdf3691806c0fe2a6c";
};
});
@ -114,8 +109,6 @@
stablePkgs = stablePkgs;
stable = import stablePkgs {};
unstablePkgs = unstablePkgs;
unstable = import unstablePkgs {};
};
nixpkgs.config.allowTexliveBuilds = true;

1
i3.nix

@ -25,6 +25,7 @@
xss-lock i3lock
xdotool
scrot
pavucontrol
# gnome3 core packages
desktop_file_utils shared_mime_info

@ -9,9 +9,9 @@
gimp
inkscape
jabref
stable.libreoffice
stable.calibre
atom
libreoffice
calibre
vscode
coq_8_5