|
|
dae7b3a35f
|
Update coq and use default emacs.
|
2017-02-10 09:34:34 +01:00 |
|
|
|
1ae12c020e
|
update clion eap
|
2017-02-03 22:18:19 +01:00 |
|
|
|
1909d263af
|
software updates
|
2017-01-28 08:28:50 +01:00 |
|
|
|
6428369565
|
Update IntelliJ EAP.
|
2017-01-06 17:01:43 +01:00 |
|
|
|
fd0dc6ebe3
|
euhadra: override new mpd default
|
2017-01-01 13:04:32 +01:00 |
|
|
|
19e4b2c927
|
Update IntelliJ EAP.
|
2016-12-27 17:33:10 +01:00 |
|
|
|
58e1f382d9
|
Use my own emacs, with gtk3 and webkit.
|
2016-12-26 17:22:22 +01:00 |
|
|
|
7d4a31190c
|
update intellij eap
|
2016-12-04 11:08:52 -05:00 |
|
|
|
97d9a83984
|
update clion eap
|
2016-11-21 07:54:33 -05:00 |
|
|
|
d0ce6a025f
|
add ninja, loc, atom
|
2016-11-14 10:47:30 -05:00 |
|
|
|
2796a7cfa3
|
update clion eap
|
2016-11-14 10:47:25 -05:00 |
|
|
|
c3611e01c0
|
Update jetbrains EAPs.
|
2016-11-09 09:32:19 -05:00 |
|
|
|
a5013fca8c
|
Update jetbrains eap versions.
|
2016-10-28 20:28:21 -04:00 |
|
|
|
0f4daaf3e4
|
Add source code pro font.
|
2016-10-28 20:28:15 -04:00 |
|
|
|
3234e65752
|
mastus: update external interface name
|
2016-10-22 10:55:21 -04:00 |
|
|
|
1e4dfbfcf2
|
Update proofgeneral.
|
2016-10-16 11:47:13 -04:00 |
|
|
|
55a9aae5b0
|
theba/docker: do not use braindead devicemapper storage
|
2016-10-16 09:40:21 -04:00 |
|
|
|
a49f8d7830
|
Update clion EAP.
|
2016-10-16 09:40:08 -04:00 |
|
|
|
28877a52f0
|
Update IDEA EAP.
|
2016-10-03 09:30:01 -04:00 |
|
|
|
c46604a8ca
|
Use i3 from PATH.
|
2016-10-03 09:21:23 -04:00 |
|
|
|
35020bda00
|
add ripgrep
|
2016-10-03 09:21:18 -04:00 |
|
|
|
393d9a8016
|
add perf
|
2016-09-21 09:11:24 -04:00 |
|
|
|
8d4e2f2f25
|
add clion
|
2016-09-21 09:11:17 -04:00 |
|
|
|
72d40d20fa
|
theba: use libinput
|
2016-09-21 09:11:01 -04:00 |
|
|
|
e49e3ea6e1
|
theba: move to pittsburgh!
|
2016-09-04 10:59:20 +02:00 |
|
|
|
4409977321
|
archachatina: wake-on-lan
|
2016-09-03 19:27:01 +02:00 |
|
|
|
e5a105ebba
|
Update IntelliJ EAP.
|
2016-08-31 09:17:31 +02:00 |
|
|
|
39a080a585
|
virtualbox has been upgraded in nixpkgs
|
2016-08-31 08:38:22 +02:00 |
|
|
|
c52d1025d7
|
Update IntelliJ EAP.
|
2016-08-31 08:37:16 +02:00 |
|
|
|
de5129f7a6
|
archachatina: support polaris
|
2016-08-30 08:31:11 +02:00 |
|
|
|
d1a832662a
|
add imagemagick
|
2016-08-20 18:14:37 +02:00 |
|
|
|
d50e38d346
|
add scrot screenshot tool
|
2016-08-20 18:13:35 +02:00 |
|
|
|
67964d70c8
|
update stable nixpkgs version
|
2016-08-20 18:11:14 +02:00 |
|
|
|
f067618792
|
update intellij eap
|
2016-08-20 18:09:04 +02:00 |
|
|
|
04fb42851f
|
update intellij eap
|
2016-08-10 08:20:56 +02:00 |
|
|
|
baee46a6ef
|
theba: switch to modesetting driver
|
2016-08-01 09:11:06 +02:00 |
|
|
|
6b38997f8e
|
mastus: tt-rss: update to changes in nixpkgs
|
2016-07-30 07:14:53 +02:00 |
|
|
|
cb029f8442
|
downgrade to linux 4.6 for virtualbox compatibility
|
2016-07-28 16:12:15 +02:00 |
|
|
|
909569663c
|
update intellij eap
|
2016-07-28 16:11:24 +02:00 |
|
|
|
23ff3d0dc0
|
gogs: 0.9.13 -> 0.9.48
|
2016-07-24 10:00:11 +02:00 |
|
|
|
f04de2e2cf
|
use rofi-pass
|
2016-07-24 09:55:31 +02:00 |
|
|
|
29dac2dc6c
|
Fix lightdm warnings.
|
2016-07-24 09:45:46 +02:00 |
|
|
|
9ef7c7c5c2
|
switch to xss-lock
|
2016-07-24 08:54:13 +02:00 |
|
|
|
c72fac9a9d
|
mastus: ttrss is now in nixpkgs
|
2016-07-23 11:18:05 +02:00 |
|
|
|
8bcc0c1df6
|
Add glucose and tokei
|
2016-07-22 19:27:53 +02:00 |
|
|
|
81f7ad4ff1
|
Remove compiler override for mailutils.
|
2016-07-22 13:54:50 +02:00 |
|
|
|
c709ace2e7
|
Update YourKit.
|
2016-07-22 13:51:04 +02:00 |
|
|
|
3613c12b47
|
Refactor systemPackages. Do not install everything on euhadra.
|
2016-07-22 13:01:40 +02:00 |
|
|
|
64d4dc053a
|
Protect stable nixpkgs checkout from GC.
|
2016-07-22 12:49:04 +02:00 |
|
|
|
9e3a37a1f9
|
Update IntelliJ EAP.
|
2016-07-22 12:46:40 +02:00 |
|
