46dd3711c3
Install strace
2020-08-23 13:42:04 -06:00
a17c80ae8c
Add trash-cli package as handy utility
2020-08-22 23:03:14 -06:00
2d649ab017
The edge of glory (rolling-release ~everything~)
2020-07-31 19:30:08 -06:00
da7940061f
Fix around half of the basic tests
2020-07-30 15:11:17 -06:00
04ec9d11bd
Add ncdu, change sudoers config filename
2020-07-18 12:31:50 -06:00
82197aa2de
Add ripgrep to image
2020-07-17 20:03:29 -06:00
a641af7510
Starting to thing about package management
2020-07-12 20:52:14 -06:00
afc2fff6d8
New language: Spago (good lord that took forever)
2020-07-12 14:18:23 -06:00
eeb4d3af70
Various hacks
2020-07-08 18:42:31 -06:00
3255a26d73
Add TeX
2020-06-22 21:04:21 -06:00
91fe6ffd65
Drop privileges to respective uid
2020-06-22 20:46:42 -06:00
b4636c46ae
Split docker-install.bash into many layers
...
I've been running into trouble where something will fail inscrutably
in docker-install.bash or when pushing a large layer or something else
of that nature, and those errors really suck when it's just one big
layer. This should aid development and deployment both.
2020-06-10 17:35:08 -06:00
Radon Rosborough