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
76a1c8fa1d
Automatic reconnect to server with exp backoff
2020-06-07 16:24:45 -06:00
b31e49d40d
Finish improving layout
2020-06-07 16:04:32 -06:00
2239a3685d
Improving layout
2020-06-07 16:01:02 -06:00
d5430812bc
You can run many languages now
2020-06-07 15:36:07 -06:00
f4178588b7
You can run Python code now
2020-06-06 15:47:12 -06:00
10c868fbd3
Per-language syntax highlighting
2020-06-06 15:23:21 -06:00
27ab1f7b6a
Add "run" button
2020-06-06 15:01:53 -06:00
c66cf63f3d
Embed Monaco editor on frontend
2020-06-06 14:54:07 -06:00
22ea7a3e75
Add support for 12 new languages
2020-06-06 14:16:22 -06:00
250509ffe1
Fully interactive terminal!
2020-06-06 13:52:27 -06:00
7df0eea51d
Oh godddddddd
2020-06-06 13:00:43 -06:00
660203f598
Write websocket data to terminal
2020-06-06 12:34:26 -06:00
aa57cc7e74
Fifth Circle of Webpack
2020-06-06 12:27:19 -06:00
19c42a8049
Successfully receive websocket data on frontend
2020-06-06 11:17:15 -06:00
fb87fc0bcf
Connect to websocket from server
2020-06-06 10:47:48 -06:00
0961498f65
Embed terminal on frontend app
2020-06-06 10:41:55 -06:00
73e74516a7
JavaScript build system hell
2020-06-06 10:28:13 -06:00
c7a62924e6
API draft, lang config, more utils
2020-06-05 22:21:55 -06:00
4b82e93042
Fix up pid1
2020-06-05 19:47:39 -06:00
e937c8ffc5
Simple Express server with "Hello world"
2020-06-05 19:37:25 -06:00
f8b9e20cb8
Handle UID stuff
2020-06-05 19:31:11 -06:00
9a9ab44755
Add Makefile to run Docker container
2020-06-05 19:26:19 -06:00
Radon Rosborough