fd4a81a8d1
LSP working for Bash
...
Another easy one!
2020-07-06 18:27:26 -06:00
f39f2ca58f
LSP working for Ruby
...
It is my dream that all language servers would be so easy
2020-07-06 18:25:39 -06:00
e47e49e353
LSP working for Haskell
...
And I even managed to dodge the absurd 30-minute compilation time that
would normally be required in order to install HIE.
2020-07-06 18:19:07 -06:00
e28e10c054
LSP working for Julia oh my god that was terrible
2020-07-06 14:52:14 -06:00
565379aaf3
Configure LSP for Go and FORTRAN
2020-07-05 15:32:46 -06:00
80cd12ec19
Configure LSP for Clojure
2020-07-05 14:37:17 -06:00
eb66554ce4
Configure LSP for C, C++, Objective-C, Rust
2020-07-05 14:35:33 -06:00
67cb37423c
Get clangd working for C/C++/Objective-C
2020-07-05 12:54:05 -06:00
337658a8bf
Misc bugfixes and robustness improvements
2020-07-05 12:21:59 -06:00
4425f31b88
LSP working with Python!!
2020-07-05 12:21:56 -06:00
fc9cbbc7c6
Report errors properly in deploy script
2020-06-25 07:44:21 -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
afad563d56
Automatically allocate one uid per session
2020-06-22 12:35: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
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
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
ba84695d13
Better attempt for websocket/TLS compatibility
2020-06-11 18:15:29 -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
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
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
2b8e0fd217
Templates, and C works now
2020-06-07 17:14:01 -06:00
6784a2bdae
Update Node.js and fix prompt interleaving
2020-06-07 16:45:54 -06:00
22ea7a3e75
Add support for 12 new languages
2020-06-06 14:16:22 -06:00
19c42a8049
Successfully receive websocket data on frontend
2020-06-06 11:17:15 -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
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
5e3a4a44fb
Install some packages into a Docker image
2020-06-05 19:20:01 -06:00
Radon Rosborough