platform/tool/archived/pull_subproject
2021-12-30 10:07:04 +08:00

14 lines
324 B
Bash

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