platform/tool/pull_subproject

12 lines
277 B
Text
Raw Normal View History

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>.
if [ "$1" == "" ]; then
echo "usage: pull_subproject <name>"
exit 1
fi
set -ex
git subtree add prefix="./packages/$1" "https://github.com/angel-dart/$1.git" master