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
fac2a9acb5
Additional LSP diagnostics on frontend
2020-07-06 14:15:24 -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
404aeef235
Debug info on frontend with #debug hash
2020-07-05 12:41:07 -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
881d8d6976
Report errors on frontend
2020-06-22 21:04:22 -06:00
3255a26d73
Add TeX
2020-06-22 21:04:21 -06:00
06bb57fed8
Log on returning uid
2020-06-22 20:51:48 -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
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
Radon Rosborough