12 lines
358 B
Bash
Executable file
12 lines
358 B
Bash
Executable file
#!/usr/bin/env bash
|
|
set -euo pipefail
|
|
ROOT="$(cd "$(dirname "$0")/.." && pwd)"
|
|
TYPE="${1:-}"
|
|
LIST="$ROOT/repos.txt"
|
|
if [[ -n "$TYPE" ]]; then
|
|
LIST="$ROOT/types/$TYPE/repos.txt"
|
|
[[ -f "$LIST" ]] || { echo "unknown type $TYPE" >&2; exit 1; }
|
|
fi
|
|
bash "$ROOT/scripts/clone.sh" "$LIST"
|
|
bash "$ROOT/scripts/install-deps.sh"
|
|
echo "fetch done type=${TYPE:-all}"
|