 Gabriel Ebner
|
739b573c07
|
Update intellij eap + new packages.
|
2016-03-26 17:50:15 +01:00 |
|
Gabriel Ebner
|
467b619a08
|
update intellij eap
|
2016-03-03 15:18:00 +01:00 |
|
Gabriel Ebner
|
bd62d14be9
|
update intellij eap
|
2016-02-23 16:31:45 +01:00 |
|
Gabriel Ebner
|
6748134429
|
do not use deprecated comma-separated fs options
|
2016-02-19 21:05:16 +01:00 |
|
Gabriel Ebner
|
72b432467b
|
Update IntelliJ EAP.
|
2016-02-16 18:48:06 +01:00 |
|
Gabriel Ebner
|
388fd0b3ac
|
update intellij eap
|
2016-02-04 07:45:58 +01:00 |
|
Gabriel Ebner
|
2ac4770370
|
update intellij
|
2016-01-30 16:03:16 +01:00 |
|
Gabriel Ebner
|
fa921a5799
|
intellij: force openjdk8
|
2016-01-22 19:00:32 +01:00 |
|
Gabriel Ebner
|
46813a0d4a
|
neovim: correctly add python packages
|
2016-01-06 10:15:33 +01:00 |
|
Gabriel Ebner
|
5720308268
|
switch to neovim
|
2016-01-06 09:49:40 +01:00 |
|
Gabriel Ebner
|
6655876308
|
upgrade intellij eap
|
2016-01-02 19:27:16 +01:00 |
|
Gabriel Ebner
|
5400954df1
|
enable neovim
|
2016-01-02 13:51:09 +01:00 |
|
Gabriel Ebner
|
38dd4b342d
|
Merge branch 'master' of https://git.gebner.org/gebner/nixos-config
|
2015-12-24 13:20:40 +01:00 |
|
Gabriel Ebner
|
4b3462f78f
|
enable hplip for cups
|
2015-12-24 13:06:29 +01:00 |
|
Gabriel Ebner
|
65f73a5ddf
|
add spass prover
|
2015-12-21 18:01:07 +01:00 |
|
Gabriel Ebner
|
c372ac3853
|
switch to current intellij eap
|
2015-12-17 09:22:14 +01:00 |
|
Gabriel Ebner
|
46e516f178
|
use intellij from nixpkgs
|
2015-12-05 12:33:50 +01:00 |
|
Gabriel Ebner
|
13af28c9b4
|
switch to texlive-full
|
2015-12-04 18:13:11 +01:00 |
|
Gabriel Ebner
|
286e6d70e1
|
disable broken tip-lib
|
2015-11-22 14:04:22 +01:00 |
|
Gabriel Ebner
|
b8b53e6dd6
|
update intellij
|
2015-11-22 14:04:03 +01:00 |
|
Gabriel Ebner
|
d2776a3c2f
|
add goldendict
|
2015-11-22 13:10:52 +01:00 |
|
Gabriel Ebner
|
eb862faedc
|
add more texlive packages.
|
2015-11-22 12:10:39 +01:00 |
|
Gabriel Ebner
|
f04156f75f
|
texlive: add tikz-cd.
|
2015-10-29 16:40:59 +01:00 |
|
Gabriel Ebner
|
fb3e1bf395
|
update intellij eap
|
2015-10-29 07:45:43 +01:00 |
|
Gabriel Ebner
|
31c9a9e833
|
texlive: add package for new gapt user manual
|
2015-10-20 16:10:17 +02:00 |
|
Gabriel Ebner
|
00566507f1
|
update intellij eap
|
2015-10-20 13:38:04 +02:00 |
|
Gabriel Ebner
|
ea455ed5e6
|
texlive: packages for org-mode
|
2015-10-18 09:47:00 +02:00 |
|
Gabriel Ebner
|
e555364a51
|
update intellij eap
|
2015-10-09 16:48:47 +02:00 |
|
Gabriel Ebner
|
661a6eaabf
|
Merge branch 'master' of https://git.gebner.org/gebner/nixos-config
|
2015-10-06 21:33:43 +02:00 |
|
Gabriel Ebner
|
cc793f0065
|
update intellij eap
|
2015-10-06 21:33:41 +02:00 |
|
Gabriel Ebner
|
4192b168c3
|
texlive: enable packages necessary for acm styles.
|
2015-10-06 21:33:09 +02:00 |
|
Gabriel Ebner
|
56ad3183eb
|
actually override idea.idea-community instead of just idea-community..
|
2015-10-01 09:01:51 +02:00 |
|
Gabriel Ebner
|
6f174a92bc
|
disable toysolver is it does not build atm
|
2015-10-01 08:59:59 +02:00 |
|
Gabriel Ebner
|
651c2ebd03
|
Use IntelliJ EAP.
|
2015-10-01 08:18:25 +02:00 |
|
Gabriel Ebner
|
ad2d11c0b1
|
add metis prover
|
2015-09-24 20:53:19 +02:00 |
|
Gabriel Ebner
|
235b106c78
|
add qutebrowser
|
2015-09-22 17:39:03 +02:00 |
|
Gabriel Ebner
|
a0e250c366
|
add texlive packages
|
2015-09-22 08:58:02 +02:00 |
|
Gabriel Ebner
|
1eb2b46b9c
|
switch to nixtex
|
2015-09-22 08:42:34 +02:00 |
|
Gabriel Ebner
|
e22162c417
|
switch to bash
|
2015-09-20 10:45:13 +02:00 |
|
Gabriel Ebner
|
206c7f4d50
|
Move small command-line tools to basic-tools.nix.
|
2015-09-14 10:39:15 +02:00 |
|
Gabriel Ebner
|
399a6ce639
|
Add packages from theba.
|
2015-09-11 07:14:03 +02:00 |
|
Gabriel Ebner
|
2b5ebf019f
|
Add graphviz for gapt.
|
2015-09-11 06:56:20 +02:00 |
|
Gabriel Ebner
|
ebce9dd9bd
|
qalculate-gtk is now in nixpkgs!
|
2015-09-03 10:41:10 +02:00 |
|
Gabriel Ebner
|
27c3019a27
|
Remove deprecated haskellngPackages.
|
2015-09-01 14:16:20 +02:00 |
|
Gabriel Ebner
|
4fd2b8b67c
|
pdfpc is now in nixpkgs!
|
2015-08-31 19:09:24 +02:00 |
|
Gabriel Ebner
|
183eafa43d
|
Include more packages by default.
|
2015-08-26 12:22:16 +02:00 |
|
Gabriel Ebner
|
05428e4f20
|
Reduce number of parallel connections to cache.
https://github.com/NixOS/nixpkgs/issues/9453
|
2015-08-26 12:17:52 +02:00 |
|
Gabriel Ebner
|
6cdb91329d
|
Merge branch 'master' of https://git.gebner.org/gebner/nixos-config
|
2015-08-20 10:06:01 +02:00 |
|
Gabriel Ebner
|
9dab3442c5
|
add key for hydra.nixos.org
|
2015-08-19 17:45:11 +02:00 |
|
Gabriel Ebner
|
c687230256
|
Remove outdated overrides.
|
2015-08-18 11:28:40 +02:00 |