afad563d56
Automatically allocate one uid per session
2020-06-22 12:35:38 -06:00
e9ff1d92d3
Clean up temporary directories
2020-06-12 18:13:38 -06:00
9ec5ecc224
Clean up /tmp
2020-06-12 18:12:33 -06:00
42769446a0
Don't hardcode the IP address
2020-06-12 16:57:25 -06:00
4ccb25a947
Enable strict mode on all TypeScript
2020-06-12 15:03:03 -06:00
0dbb561063
Add aliases, redirect to lowercase
2020-06-12 14:51:15 -06:00
75232829d6
Migrate to DigitalOcean
2020-06-12 13:39:07 -06:00
74f6cf153c
Fix up riju-serve script for interactive use
2020-06-12 12:45:34 -06:00
144202adf1
Make 'docker stop' work properly
2020-06-12 12:34:51 -06:00
406c64e68d
Optimize prod image build for Docker cache
2020-06-12 12:31:04 -06:00
d570a7f9e7
Only -t is supported (this is not a complete fix)
2020-06-12 12:22:18 -06:00
2df2132e2c
Fix usage of stdout
2020-06-12 12:12:38 -06:00
81278fa86b
Various improvements for systemd
2020-06-12 12:07:42 -06:00
a96ed753b2
Improve deployment script
2020-06-12 11:55:52 -06:00
0a05a0eb92
Load editor more quickly, add loading indicator
2020-06-12 11:42:11 -06:00
ba84695d13
Better attempt for websocket/TLS compatibility
2020-06-11 18:15:29 -06:00
466f897c58
Attempt to make websocket compatible with TLS
2020-06-11 17:54:12 -06:00
92831f5f51
Log on successful deploy
2020-06-11 17:48:13 -06:00
f15cd4f3cf
Don't use setuid, it doesn't work
2020-06-11 15:22:59 -06:00
8246ab32d0
Fix setuid bit on riju-install
2020-06-11 15:06:26 -06:00
1fe7d174a0
Further corrections
2020-06-11 14:58:17 -06:00
db6644d980
Automatically update installed scripts
2020-06-11 14:54:08 -06:00
db89ef25d9
Handle return code correctly
2020-06-11 14:44:24 -06:00
66fea5be40
Misc fixups for production setup
2020-06-11 14:42:48 -06:00
4ea197cabe
Get TLS cert&key inside container, fix SSH options
2020-06-11 13:57:36 -06:00
b3430a2f2c
Disable host key checking, upgrade Stack
...
For some reason Ubuntu ships a super old version which doesn't even
work because of a bug that was fixed a long time ago?? Thanks guys...
2020-06-11 10:45:43 -06:00
96575f71e9
Update IP address
2020-06-11 09:45:39 -06:00
5883cc67c7
Prepare new deployment infrastructure
2020-06-10 21:14:50 -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
73d05cb61b
Add some infra for deployment
2020-06-10 17:34:36 -06:00
7ea28d4ff3
Document project setup
2020-06-10 16:49:21 -06:00
f1b0c27e5d
Add option to use TLS
2020-06-10 16:45:13 -06:00
1568c03255
Add flag
2020-06-09 22:06:56 -06:00
b3f126b3bd
Deal with Apple and Google both being dumb
2020-06-09 18:07:25 -06:00
9c48a4880b
Deal with Swift being big
2020-06-09 16:49:18 -06:00
ed6ad511e6
Minor fixes
2020-06-09 15:58:22 -06:00
e697444266
Add nodejs for CircleCI
2020-06-09 15:29:05 -06:00
6d0e1f266e
Update README
2020-06-09 15:26:01 -06:00
6295e51d90
Getting things ready for deploy to Heroku
2020-06-09 15:17:46 -06:00
f9e183e58e
Rename, ejs, homepage, build errors, css
2020-06-09 14:39:45 -06:00
846caf2ad8
At this point the number of languages is absurd
2020-06-09 13:34:07 -06:00
c34ccf26e8
A lot more languages
2020-06-09 12:58:21 -06:00
1ae424f328
More languages, we need all the languages
2020-06-08 16:06:32 -06:00
548c1c1162
repl.it superiority!!
2020-06-08 12:24:58 -06:00
371831593c
even more languages
2020-06-08 11:15:12 -06:00
473c50c421
ALL THE LANGUAGES
2020-06-07 22:46:58 -06:00
e2a3e719bf
All languages 17 working now
2020-06-07 19:31:54 -06:00
2b8e0fd217
Templates, and C works now
2020-06-07 17:14:01 -06:00
869816c6ab
Fix ghci death throes
2020-06-07 16:51:46 -06:00
6784a2bdae
Update Node.js and fix prompt interleaving
2020-06-07 16:45:54 -06:00
Radon Rosborough