2020-02-15 23:16:52 +00:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
#
|
|
|
|
|
# Simple tool script that pulls an angel-dart/<name> project into ./packages/<name>.
|
|
|
|
|
|
2020-02-15 23:18:39 +00:00
|
|
|
if [ "$#" == "0" ]; then
|
|
|
|
|
echo "usage: pull_subproject <names...>"
|
2020-02-15 23:16:52 +00:00
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
set -ex
|
2020-02-15 23:18:39 +00:00
|
|
|
shift
|
|
|
|
|
|
|
|
|
|
for project in "$#"; do
|
|
|
|
|
git subtree add prefix="./packages/$project" "https://github.com/angel-dart/$project.git" master
|
|
|
|
|
done
|
