Files
desktop/scripts/fetch-formal-git-components.sh
zeekay d5fb3380fb Rename all zen references to enso across desktop repo
Complete rebranding of the desktop codebase:
- Rename directories: src/zen/ → src/enso/, prefs/zen/ → prefs/enso/
- Rename 400+ files (CSS, JS, MJS, FTL locales, XHTML, C++, patches)
- Update 125+ preference keys (zen.* → enso.*)
- Update CSS custom properties (--zen-* → --enso-*)
- Update HTML attribute selectors ([zen-*] → [enso-*])
- Update 30+ JS class names (Zen* → Enso*)
- Update C++ namespaces and contract IDs
- Update resource URIs, build manifests, CI workflows
- Update locales across 40+ languages
- Update build scripts, signing scripts, test paths
2026-02-10 05:04:19 -08:00

34 lines
907 B
Bash

#!/bin/bash
# This Source Code Form is subject to the terms of the Mozilla Public
# License, v. 2.0. If a copy of the MPL was not distributed with this
# file, You can obtain one at http://mozilla.org/MPL/2.0/.
set -e
COMPONENT_ROOT=$(pwd)/src/enso
EXTRA_COMPONENTS=(
"scripts"
"workflows"
"windows"
"flatpak"
"configs"
)
echo "" > .formal-git/components
# iterate top directories and adding the base name to .formal-git/components
for dir in $(find $COMPONENT_ROOT -maxdepth 1 -type d | grep -v '\.git' | grep -v 'node_modules' | grep -v 'engine'); do
if [ "$dir" != "$COMPONENT_ROOT" ]; then
echo "$(basename $dir)" >> .formal-git/components
fi
done
# iterate over the extra components and adding them to .formal-git/components
for extra in "${EXTRA_COMPONENTS[@]}"; do
echo "$extra" >> .formal-git/components
done
# remove all empty lines
sed -i '/^$/d' .formal-git/components