Nathan Sobo ab8204368c Rename zed-server to collab ... Over time, I think we may end up having multiple services, so it seems like a good opportunity to name this one more specifically while the cost is low. It just seems like naming it "zed" and "zed-server" leaves it a bit open ended.		2022-04-09 08:30:42 -06:00
..
build-css	Fix paths to server crate in scripts and gitignore	2021-11-03 19:22:00 -07:00
build-themes	Write theme JSON files from buildThemes script	2022-04-01 09:45:11 -06:00
bundle	Make language server initialization asynchronous	2022-02-21 09:39:28 +01:00
deploy	Rename zed-server to collab	2022-04-09 08:30:42 -06:00
deploy-migration	Generalize deploy scripts to work w/ both production and staging	2021-09-29 14:10:40 -07:00
drop-test-dbs	Consolidate logic for completion alongside code actions in Project	2022-02-08 14:24:45 -08:00
generate-doc-diagrams
kube-shell	Add kube-shell script, for running shell commands in a deployed container	2021-09-29 14:55:16 -07:00
metal-debug	Add script to debug Metal frames	2022-01-27 08:51:55 +01:00
package-lock.json	Include contents of the zed-server repo	2021-07-12 14:14:39 -06:00
package.json	Include contents of the zed-server repo	2021-07-12 14:14:39 -06:00
seed-db	Rename zed-server to collab	2022-04-09 08:30:42 -06:00
sqlx	Deserialize buffer's diagnostics	2021-11-02 12:29:03 -07:00
tailwind.config.js	Fix path to templates that's used when minifying tailwind CSS	2021-11-07 07:32:26 -07:00
validate-version	Create vendor/bin if it doesn't exist	2022-03-02 15:23:06 +01:00
zed_with_local_servers	Allow the zed app to connect to both the old and new rpc endpoints	2022-01-03 15:29:26 -08:00