mirror of
https://github.com/scratchfoundation/scratch-blocks.git
synced 2024-11-25 16:33:00 +08:00
102 lines
2.5 KiB
Bash
Executable File
102 lines
2.5 KiB
Bash
Executable File
#!/bin/bash
|
|
|
|
# Script for cleaning up blockly-specific files when merging blockly into scratch-blocks
|
|
# Removes files and directories that scratch-blocks doesn't want.
|
|
# Rachel Fenichel (fenichel@google.com)
|
|
|
|
# Note: 'ours' is scratch-blocks, 'theirs' is blockly.
|
|
|
|
# Formatting helpers.
|
|
indent() { sed 's/^/ /'; }
|
|
indent_more() { sed 's/^/\t/'; }
|
|
empty_lines() { printf '\n\n'; }
|
|
|
|
|
|
empty_lines
|
|
echo Cleaning up a merge from Blockly to Scratch-Blocks...
|
|
|
|
# Get rid of Blockly's internationalization/messages. This is not usually worth
|
|
# scrolling up to look at.
|
|
empty_lines
|
|
echo Cleaning up Blockly message files...
|
|
# Turn on more powerful globbing
|
|
shopt -s extglob
|
|
|
|
# Having trouble with directories. Let's just go there.
|
|
cd msg/json
|
|
git rm -f !(en.json|synonyms.json) | indent_more
|
|
cd ../..
|
|
|
|
# Having trouble with directories. Let's just go there.
|
|
cd msg/js
|
|
git rm -f !(en.js) | indent_more
|
|
cd ../..
|
|
|
|
# Turn powerful globbing off again
|
|
shopt -u extglob
|
|
|
|
# Whole directories that we want to get rid of.
|
|
empty_lines
|
|
echo Removing blockly-specific directories...
|
|
dirslist="accessible demos tests/generators appengine blocks local_build"
|
|
for directory in $dirslist
|
|
do
|
|
echo 'Cleaning up' $directory | indent
|
|
git rm -rf $directory | indent_more
|
|
done
|
|
|
|
# Scratch-blocks does not use generators
|
|
empty_lines
|
|
echo Removing generators...
|
|
generated_langs="dart javascript lua php python"
|
|
for lang in $generated_langs
|
|
do
|
|
echo 'Cleaning up' $lang | indent
|
|
# Directories containing block generators.
|
|
git rm -rf generators/${lang} | indent_more
|
|
done
|
|
|
|
# Built stuff that we should get rid of.
|
|
empty_lines
|
|
echo Removing built files...
|
|
built_files="blockly_compressed.js \
|
|
blockly_uncompressed.js \
|
|
blockly_accessible_compressed.js \
|
|
blockly_accessible_uncompressed.js \
|
|
blocks_compressed.js \
|
|
dart_compressed.js \
|
|
php_compressed.js \
|
|
python_compressed.js \
|
|
javascript_compressed.js \
|
|
lua_compressed.js"
|
|
|
|
for filename in $built_files
|
|
do
|
|
git rm $filename | indent_more
|
|
done
|
|
|
|
empty_lines
|
|
echo Miscellaneous cleanup...
|
|
# Use ours.
|
|
keep_ours=".github/ISSUE_TEMPLATE.md \
|
|
.github/PULL_REQUEST_TEMPLATE.md \
|
|
.gitignore \
|
|
.circleci/config.yml \
|
|
core/block_animations.js \
|
|
msg/messages.js \
|
|
msg/js/en.js \
|
|
msg/json/en.json"
|
|
|
|
|
|
for filename in $keep_ours
|
|
do
|
|
git checkout --ours $filename && git add $filename | indent_more
|
|
done
|
|
|
|
# Scratch-blocks has separate vertical and horizontal playgrounds and block
|
|
# rendering.
|
|
git rm -f tests/playground.html core/block_render_svg.js | indent_more
|
|
|
|
empty_lines
|
|
echo Done with cleanup.
|