|
46e516f178
|
use intellij from nixpkgs
|
2015-12-05 12:33:50 +01:00 |
|
|
13af28c9b4
|
switch to texlive-full
|
2015-12-04 18:13:11 +01:00 |
|
|
286e6d70e1
|
disable broken tip-lib
|
2015-11-22 14:04:22 +01:00 |
|
|
b8b53e6dd6
|
update intellij
|
2015-11-22 14:04:03 +01:00 |
|
|
d2776a3c2f
|
add goldendict
|
2015-11-22 13:10:52 +01:00 |
|
|
eb862faedc
|
add more texlive packages.
|
2015-11-22 12:10:39 +01:00 |
|
|
f04156f75f
|
texlive: add tikz-cd.
|
2015-10-29 16:40:59 +01:00 |
|
|
fb3e1bf395
|
update intellij eap
|
2015-10-29 07:45:43 +01:00 |
|
|
31c9a9e833
|
texlive: add package for new gapt user manual
|
2015-10-20 16:10:17 +02:00 |
|
|
00566507f1
|
update intellij eap
|
2015-10-20 13:38:04 +02:00 |
|
|
ea455ed5e6
|
texlive: packages for org-mode
|
2015-10-18 09:47:00 +02:00 |
|
|
e555364a51
|
update intellij eap
|
2015-10-09 16:48:47 +02:00 |
|
|
661a6eaabf
|
Merge branch 'master' of https://git.gebner.org/gebner/nixos-config
|
2015-10-06 21:33:43 +02:00 |
|
|
cc793f0065
|
update intellij eap
|
2015-10-06 21:33:41 +02:00 |
|
|
4192b168c3
|
texlive: enable packages necessary for acm styles.
|
2015-10-06 21:33:09 +02:00 |
|
|
56ad3183eb
|
actually override idea.idea-community instead of just idea-community..
|
2015-10-01 09:01:51 +02:00 |
|
|
6f174a92bc
|
disable toysolver is it does not build atm
|
2015-10-01 08:59:59 +02:00 |
|
|
651c2ebd03
|
Use IntelliJ EAP.
|
2015-10-01 08:18:25 +02:00 |
|
|
ad2d11c0b1
|
add metis prover
|
2015-09-24 20:53:19 +02:00 |
|
|
235b106c78
|
add qutebrowser
|
2015-09-22 17:39:03 +02:00 |
|
|
a0e250c366
|
add texlive packages
|
2015-09-22 08:58:02 +02:00 |
|
|
1eb2b46b9c
|
switch to nixtex
|
2015-09-22 08:42:34 +02:00 |
|
|
e22162c417
|
switch to bash
|
2015-09-20 10:45:13 +02:00 |
|
|
206c7f4d50
|
Move small command-line tools to basic-tools.nix.
|
2015-09-14 10:39:15 +02:00 |
|
|
399a6ce639
|
Add packages from theba.
|
2015-09-11 07:14:03 +02:00 |
|
|
2b5ebf019f
|
Add graphviz for gapt.
|
2015-09-11 06:56:20 +02:00 |
|
|
ebce9dd9bd
|
qalculate-gtk is now in nixpkgs!
|
2015-09-03 10:41:10 +02:00 |
|
|
27c3019a27
|
Remove deprecated haskellngPackages.
|
2015-09-01 14:16:20 +02:00 |
|
|
4fd2b8b67c
|
pdfpc is now in nixpkgs!
|
2015-08-31 19:09:24 +02:00 |
|
|
183eafa43d
|
Include more packages by default.
|
2015-08-26 12:22:16 +02:00 |
|
|
05428e4f20
|
Reduce number of parallel connections to cache.
https://github.com/NixOS/nixpkgs/issues/9453
|
2015-08-26 12:17:52 +02:00 |
|
|
6cdb91329d
|
Merge branch 'master' of https://git.gebner.org/gebner/nixos-config
|
2015-08-20 10:06:01 +02:00 |
|
|
9dab3442c5
|
add key for hydra.nixos.org
|
2015-08-19 17:45:11 +02:00 |
|
|
c687230256
|
Remove outdated overrides.
|
2015-08-18 11:28:40 +02:00 |
|
|
bc1c2a198a
|
enable ntfs-3g
|
2015-08-09 19:35:31 +02:00 |
|
|
f6bd4a659e
|
Allow texlive build.
|
2015-07-19 17:18:24 +02:00 |
|
|
832b6deb89
|
Disable jdk override as openjdk8 is now default.
|
2015-07-14 10:19:17 +02:00 |
|
|
5cc521f9b0
|
Add aspell.
|
2015-07-13 14:24:37 +02:00 |
|
|
369ad6c7a3
|
spacemacs
|
2015-07-12 15:34:43 +02:00 |
|
|
5b77bbbe11
|
Make i3 compile.
|
2015-06-09 17:40:19 +02:00 |
|
|
d7b5e08723
|
Disable in-development colord support.
|
2015-06-02 16:39:37 +02:00 |
|
|
cb372898b1
|
add some locally created packages
|
2015-06-02 13:54:26 +02:00 |
|
|
1d0bd6365d
|
set ulimit -n to 4096.
|
2015-06-02 12:38:56 +02:00 |
|
|
62e976af25
|
Disable libreoffice build.
|
2015-05-28 09:51:24 +02:00 |
|
|
6c83d40726
|
Switch to i3.
|
2015-05-27 18:52:02 +02:00 |
|
|
6675ecb0f8
|
Add gmpc.
|
2015-05-24 11:42:37 +02:00 |
|
|
ff81cb69dc
|
Enable store auto-optimization.
|
2015-05-24 11:42:07 +02:00 |
|
|
7653bcd70c
|
More packages.
|
2015-05-24 11:41:01 +02:00 |
|
|
11c2143154
|
Add libreoffice.
|
2015-05-21 19:07:54 +02:00 |
|
|
e6f7e52a90
|
Disable nixos zsh prompt.
|
2015-05-21 17:51:41 +02:00 |
|
|
f0de368f04
|
Add subversion for oh-my-zsh prompt.
|
2015-05-21 17:51:28 +02:00 |
|
|
ca2ad2b800
|
Set correct PATH when running zsh from ssh.
|
2015-05-21 16:50:53 +02:00 |
|
|
6f0358364c
|
Set noauto for network mounts.
|
2015-05-21 16:50:37 +02:00 |
|
|
b644d30f65
|
Refactoring common parts.
|
2015-05-21 16:13:47 +02:00 |
|