From 88f77e737e2ff7713e07c52c15bba7eac2a68b79 Mon Sep 17 00:00:00 2001 From: Jeremy Soller Date: Mon, 18 Mar 2019 09:12:02 -0600 Subject: [PATCH] Add script for setting up upstream git remotes --- remotes.sh | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100755 remotes.sh diff --git a/remotes.sh b/remotes.sh new file mode 100755 index 0000000..b57b25c --- /dev/null +++ b/remotes.sh @@ -0,0 +1,27 @@ +#!/usr/bin/env bash + +REMOTES=( + "coreboot upstream https://github.com/coreboot/coreboot.git" + "edk2 upstream https://github.com/tianocore/edk2.git" + "edk2-platforms upstream https://github.com/tianocore/edk2-platforms.git" +) + +set -e + +function git_remote { + echo -e "\x1B[1m$1\x1B[0m" + cd "$1" + if git remote | grep "^$2\$" + then + git remote set-url "$2" "$3" + else + git remote add "$2" "$3" + fi + git fetch "$2" + cd .. +} + +for remote in "${REMOTES[@]}" +do + git_remote $remote +done