gebner/nixos-config
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

update intellij

Browse Source
This commit is contained in:
Gabriel Ebner 2016-01-30 16:03:16 +01:00
parent f4c9cdc13f
commit 2ac4770370
1 changed files with 5 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
common.nix
View File

@ -38,7 +38,7 @@
subversion subversion
openjdk8 openjdk8
sbt scala sbt scala
idea.idea-community # idea.idea-community
firefoxWrapper firefoxWrapper
qutebrowser qutebrowser
chromium chromium
@ -65,7 +65,6 @@
androidsdk_4_4 androidsdk_4_4
gimp gimp
inkscape inkscape
# libreoffice
jabref jabref
pdfpc pdfpc
@ -97,21 +96,19 @@
why3 why3
graphviz graphviz
# toysolver # toysolver
# tip-lib tip-lib
coq_8_5 coq_8_5
emacsPackages.proofgeneral_4_3_pre emacsPackages.proofgeneral_4_3_pre
] ++ (with aspellDicts; [ en de fr nl ]); ] ++ (with aspellDicts; [ en de fr nl ]);
nixpkgs.config.packageOverrides = pkgs: rec { nixpkgs.config.packageOverrides = pkgs: rec {
oraclejdk8 = pkgs.openjdk8;
idea.idea-community = pkgs.idea.idea-community.overrideDerivation (oldAttrs: rec { idea.idea-community = pkgs.idea.idea-community.overrideDerivation (oldAttrs: rec {
name = "idea-community-${version}"; name = "idea-community-${version}";
version = "15.eap"; version = "16.eap";
src = pkgs.fetchurl { src = pkgs.fetchurl {
url = "https://download.jetbrains.com/idea/ideaIC-143.1653.2.tar.gz"; url = "https://download.jetbrains.com/idea/ideaIC-144.3143.6-no-jdk.tar.gz";
sha256 = "ccc48970ebe2dd093ac2cf4adfe66b143090feca160c9dc9e4f6744eed11f25b"; sha256 = "2f05cceb0bb4ad1a6cb3117f8cf997740520f8935dc4a2b6940a86f0a08c121a";
}; };
}); });