zed/script/generate-default-settings
2026-08-21 09:56:26 +02:00

8 lines
214 B
Bash
Executable file

#!/usr/bin/env bash
set -euo pipefail
cd "$(dirname "$0")/.."
echo "Generating assets/settings/default.json from UserSettingsContent::defaults()..."
cargo run -p settings_content --bin generate_default_settings