bcc144ea08
Migrate to LTS Ubuntu base images
2022-10-10 09:50:49 -07:00
ddb2fa0d4b
Hallelujah
2021-06-18 07:06:32 +00:00
6c678c73ce
Start seriously screwing around with GBS.js
2021-06-11 22:17:08 -07:00
b986cf69af
Compute transitive dependencies
2021-03-21 18:09:11 -07:00
b99d17bcd3
Preliminary containerization work
2021-03-19 23:04:59 -07:00
0dcfa3d062
Work around really sad packaging error
2021-02-07 20:55:11 -08:00
b13b2aca86
Install htop
2021-01-24 10:05:41 -08:00
91fa474838
Reduce ENTRYPOINT verbosity
2021-01-23 21:40:49 -08:00
8a662d5dbe
s/pstree/psmisc/
2021-01-17 14:00:47 -08:00
fa97f045dc
Install pstree, 'make all-scripts' executable
2021-01-17 13:47:21 -08:00
4e032aaecb
Deal with some DNS garbage
...
Apparently, my laptop was using 75.75.75.75 from Comcast as one of its
DNS servers, and unfortunately that server was totally broken (dig
@75.75.75.75 never returned results). I had to edit
/etc/systemd/resolved.conf to override DNS=8.8.8.8, then things worked
again. How DNS resolution worked at all outside of Docker was unclear
to me, but overriding 75.75.75.75 makes it work inside as well (when
not operating in --network=host mode).
2021-01-17 11:56:57 -08:00
f7b0b43551
Almost all languages working in new system
2021-01-11 22:17:09 -08:00
f013f7e26c
Work on a number of additional languages
2021-01-11 19:34:44 -08:00
5895b5f3e4
Everything through MongoDB
2021-01-10 15:52:23 -08:00
ac39b15e16
Make more languages work
2021-01-09 15:36:14 -08:00
670fabe177
Improve sandbox env, add shared dep support
2021-01-09 12:36:17 -08:00
9a99429f48
Miscellaneous work starting to support langs
2021-01-06 21:44:27 -08:00
d54d0fb5bb
Import webserver and get it running
2020-12-24 21:49:26 -08:00
967cf770c2
Various aesthetic improvements
2020-12-24 13:45:26 -08:00
f544ae6c16
Successfully deploy working artifacts to S3
2020-12-23 21:15:40 -08:00
eeadee7349
Generate Python .deb from config
2020-12-22 21:16:35 -08:00
da605793c6
Fill out Makefile
2020-12-22 20:19:22 -08:00
Radon Rosborough