10 commits

Author	SHA1	Message	Date
Max Brunsfeld	9367f719f2	Rework db-seeding, so that it doesn't depend on a github auth token ... Instead, admins are specified using a JSON file, 'admins.json'. This file is gitignored. If it is not present, there is a default list of admins in 'admins.default.json'.	2024-01-17 13:28:58 -08:00
Max Brunsfeld	5f5505fe9a	Don't pass zed-local flags through to zed	2024-01-11 16:51:40 -08:00
Max Brunsfeld	0dca67fc33	Add --top flag to zed-local script, for making windows take up half the screen	2024-01-10 16:09:40 -08:00
Max Brunsfeld	7986ee18cd	Rename zed2 -> zed ... Co-authored-by: Mikayla <mikayla@zed.dev>	2024-01-03 10:14:19 -08:00
Marshall Bowers	170e332417	Add support for --release flag to zed-local script	2023-12-15 16:28:23 -05:00
Marshall Bowers	0ea59d6466	Format zed-local script	2023-12-15 16:27:58 -05:00
Piotr Osiewicz	0b67983ddf	Add scripts for running Zed2 collab environment ... ./script/zed-local now looks for "--zed2" flag in its args and runs Zed2 binaries instead of zed1. 'foreman start' can be launched with '-f Procfile.zed2" argument to launch zed2 collab server.	2023-11-23 14:19:06 +01:00
Max Brunsfeld	c20e781441	Inherit PATH in zed-local script	2023-10-22 16:03:13 +02:00
Max Brunsfeld	1e1256dbdd	Set RUST_LOG to info by default in zed-local script	2023-10-12 17:41:09 -07:00
Max Brunsfeld	a0ab9fe56b	Unify the 2 local zed scripts, take a flag for instance count	2023-10-09 12:40:36 -07:00