741a7a69f1
Install moreutils in runtime image
2021-02-20 11:35:45 -08:00
9e621180a7
Drop last usage of riju-cdn
2021-02-20 11:34:50 -08:00
96280a9235
Fix hardcoded paths in Limbo
2021-02-20 11:34:46 -08:00
9243a10a4d
Fix hardcoded paths in Kitten
2021-02-20 11:00:39 -08:00
85baab80b5
Fix hardcoded paths in Idris
2021-02-20 10:56:22 -08:00
83df706b57
Fix hardcoded paths in Clean
2021-02-20 10:05:39 -08:00
c2915db424
Reformat helloInput for sed
2021-02-19 21:34:49 -08:00
c581229f59
Remove no longer needed workaround
2021-02-07 20:56:07 -08:00
0dcfa3d062
Work around really sad packaging error
2021-02-07 20:55:11 -08:00
029a78b58b
Minor tutorial improvements
2021-02-07 15:02:00 -08:00
89e3b3f488
Re-enable TLS for Red
...
It was disabled due to a misunderstanding.
2021-02-07 09:51:39 -08:00
9a548bb95f
Fix purescript .cache ownership problem
...
We actually don't want to pass in HOME via sudo, as some
programs (such as the npm install script for purescript) will respect
it and write root-owner .cache things into /home/riju (causing later
failures).
2021-02-07 09:48:38 -08:00
45cd08e94e
Fix permissions on sqlite build dir
2021-02-07 09:35:39 -08:00
d4ab62307f
Re-enable sqls for all databases
...
This reverts commit 97b1f05118https://github.com/lighttiger2505/sqls/issues/39 is solved.
2021-02-07 09:35:22 -08:00
ab43225e21
Cost reduction: use cold HDD for EBS volume
2021-02-06 21:31:57 -08:00
a2d889860d
Start writing tutorial
2021-02-06 21:29:16 -08:00
82c7f6d4af
Re-enable Hack
2021-01-25 20:18:22 -08:00
2e928aae46
Add comment
2021-01-24 21:32:00 -08:00
2566fcb6c5
Switch to HTTPS for D, yay!
2021-01-24 21:22:01 -08:00
98612d6bcc
Fix typo in Swift configuration
2021-01-24 14:22:25 -08:00
fed2b4571d
Download anonymously from S3
2021-01-24 10:07:01 -08:00
b13b2aca86
Install htop
2021-01-24 10:05:41 -08:00
d78dbaf9d8
Disallow Unison from running in CI
2021-01-24 10:05:32 -08:00
373bb01222
Style changes
2021-01-24 10:05:26 -08:00
09bd314bb8
Link to documentation from README
2021-01-23 21:48:47 -08:00
df83dbbdb7
Add missing DEPLOY_SSH_PRIVATE_KEY
2021-01-23 21:41:03 -08:00
49e18e9830
Fix deprecated Express methods
2021-01-23 21:40:58 -08:00
91fa474838
Reduce ENTRYPOINT verbosity
2021-01-23 21:40:49 -08:00
edad36a563
Fix language settings for Unison
2021-01-23 21:07:03 -08:00
1e1309bb59
New file: doc/build.md
2021-01-23 20:08:04 -08:00
ceeec32c8f
Some small fixes to composite image build
2021-01-23 20:07:58 -08:00
3e0984936c
Rearrange Makefile more
2021-01-23 20:07:51 -08:00
9296807ae3
Shard composite image into 10 layers
2021-01-23 18:42:18 -08:00
730198de3a
Remove __pycache__ from some packages
2021-01-23 18:04:51 -08:00
9112a0b2ea
Upgrade 'make help' again
2021-01-23 17:22:29 -08:00
85a77e7225
Wow, this is terrible
2021-01-23 17:01:47 -08:00
8880d79049
Bump no_output_timeout a lot for SageMath
2021-01-23 14:55:36 -08:00
6e3250e943
Greatly improve 'make help'
2021-01-23 14:53:40 -08:00
25c5dc8980
Verbose output for SageMath extraction
2021-01-23 14:08:11 -08:00
d7a3e9cb99
Rearrange Makefile
2021-01-23 13:36:15 -08:00
cd2de9c596
New file: doc/infrastructure.md
2021-01-23 12:05:03 -08:00
e68a6b5d56
Remove unneeded ACL
2021-01-23 11:38:20 -08:00
2f463019ab
Add Terraform outputs and fix bucket policy
2021-01-23 11:29:03 -08:00
8d7e538ef7
Install AWS CLI onto prod server
2021-01-23 11:28:57 -08:00
afed8b2764
Customizable compression levels in Makefile
2021-01-23 10:26:36 -08:00
77426f9db0
Get SageMath working with binary distribution
2021-01-23 10:23:05 -08:00
096a9cf008
sudo -E and clean up Depends regexps
2021-01-23 09:49:29 -08:00
1178966cec
Add pwgen to admin image
2021-01-23 09:10:46 -08:00
a256e269bd
Read S3 bucket name from .env for Terraform
2021-01-23 09:10:37 -08:00
469e8cd215
Fix last few languages
2021-01-22 16:55:57 -08:00
Radon Rosborough