zed/script
Max Brunsfeld 0ae1f29be8 wip
2023-08-02 15:52:56 -07:00
..
eula Fix typos in EULA 2023-04-05 18:02:35 -06:00
lib change bump-version to install jq if its not already installed 2022-11-18 13:42:46 -08:00
licenses Update icons to new zed file icon set 2023-07-19 11:10:30 -07:00
bootstrap Fix failure to load .env.toml in bootstrap script 2022-11-08 14:09:17 -08:00
build-theme-types Add script for building theme types 2023-06-27 11:34:26 -04:00
bump-collab-version Tweak version-bumping scripts 2022-10-27 12:10:09 -07:00
bump-zed-minor-versions Fetch release branches before bumping zed minor versions 2022-11-09 14:02:46 -08:00
bump-zed-patch-version Fix error in bump-zed-patch-version script 2022-11-02 12:18:14 -07:00
bundle Update bundle 2023-06-14 17:37:47 -07:00
clear-target-dir-if-larger-than ci: clear the target dir if it gets too big 2023-05-11 09:43:13 -07:00
deploy Improve deploy scripts 2022-10-21 15:50:14 -07:00
deploy-migration Improve deploy scripts 2022-10-21 15:50:14 -07:00
drop-test-dbs Consolidate logic for completion alongside code actions in Project 2022-02-08 14:24:45 -08:00
generate-eula-rtf Update EULA 2023-04-05 08:18:51 -06:00
generate-licenses Update icons to new zed file icon set 2023-07-19 11:10:30 -07:00
get-changes-since Don't hardcode dates into script 2023-05-24 17:39:02 -04:00
get-crate-version Create preview channel 2022-10-26 16:19:19 -07:00
get-preview-channel-changes Indent all release note lines for each PR 2023-05-22 14:44:05 -04:00
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
randomized-test-ci Fail the randomized test build after reporting the error to zed.dev 2023-04-18 18:41:33 -07:00
randomized-test-minimize Consolidate logic for running randomized tests in scripts 2023-04-17 15:37:11 -07:00
seed-db Add bootstrap script, avoid hard-coding zed team members 2022-08-15 13:25:31 -07:00
sqlx Add bootstrap script, avoid hard-coding zed team members 2022-08-15 13:25:31 -07:00
start-local-collaboration Fix ZED_SERVER_URL port number 2023-07-18 12:43:27 -04:00
what-is-deployed Fix error case in what-is-deployed script 2022-11-02 12:05:37 -07:00
zed-with-local-servers wip 2023-08-02 15:52:56 -07:00