annotate download_from_list.sh @ 0:507ba2547208 default tip

Initial commit
author Jonatan Werpers <jonatan@werpers.com>
date Tue, 30 Jun 2020 15:52:36 +0200
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
1 #!/bin/bash
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
2
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
3 # Usage: downloader.sh username teamname
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
4 REPO_FILE=${1}
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
5 DIR=${2}
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
6
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
7 if [ -d "$DIR" ]
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
8 then
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
9 echo "Directory already exists"
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
10 exit 1
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
11 fi
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
12
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
13 mkdir "${DIR}"
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
14 cd "${DIR}"
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
15
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
16 for repo in `cat "../${REPO_FILE}"`
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
17 do
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
18 local_dir=.`dirname $repo`
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
19 mkdir -p "$local_dir"
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
20 cd "$local_dir"
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
21
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
22 echo "[Cloning $repo]"
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
23
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
24 hg clone ssh://hg@bitbucket.org"$repo"
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
25
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
26 if [ $? != 0 ]
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
27 then
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
28 echo "[hg failed, trying git instead]"
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
29 git clone git@bitbucket.org:"$repo".git
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
30 fi
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
31
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
32 echo ""
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
33 echo ""
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
34
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
35 cd ..
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
36
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
37 # echo "Cloning" $repo
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
38 # if echo "$repo" | grep -q ".git"; then
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
39 # command="git"
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
40 # else
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
41 # command="hg"
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
42 # fi
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
43 # $command clone $repo
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
44 done
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
45
507ba2547208 Initial commit
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
46 cd ..