1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
|
#!/usr/bin/env bash
# Adapted from script by Domenic Denicola
# Creative Commons Zero v1.0 Universal
# https://github.com/domenic/zones/blob/master/
# and here
# https://gist.github.com/domenic/ec8b0fc8ab45f39403dd
TARGET_BRANCH="gh-pages"
set -x
if [ "$TRAVIS_PULL_REQUEST" != "false" ] || [ "$TRAVIS_BRANCH" != "$TARGET_BRANCH" ]; then
printf "Starting to update %s\n" "$TARGET_BRANCH"
# Save some useful information
REPO=$(git config remote.origin.url)
#SSH_REPO=${REPO/https:\/\/github.com\//git@github.com:}
SSH_REPO='git@github.com:MoarVM/coverage.git'
SHA=$(git rev-parse --verify HEAD)
#copy data we're interested in to other place
mkdir -p "$HOME/staging"
# Do MoarVM specific code here
# --------------------------------
if [ "$TRAVIS_BRANCH" = 'master' ]; then
cp -R $TRAVIS_BUILD_DIR/html-cov/* "$HOME/staging"
else
mkdir -p "$HOME/staging/$TRAVIS_BRANCH"
cp -R $TRAVIS_BUILD_DIR/html-cov/* "$HOME/staging/${TRAVIS_BRANCH}"
fi
COMMIT_MSG="$(printf "Travis №%s built from %s %s" "$TRAVIS_BUILD_NUMBER" "$TRAVIS_BRANCH" "$(cd $TRAVIS_BUILD_DIR >/dev/null && git describe)")"
# END MoarVM specific code
# -----------------------------
#go to home and setup git
cd -- "$HOME" || echo "Couldn't cd into $HOME";
git config --global user.name "Travis CI"
#git config user.email "$COMMIT_AUTHOR_EMAIL"
git config --global user.email "travis@travis-ci.org"
#git config --global user.name "Travis"
git clone -v $SSH_REPO $TARGET_BRANCH
mkdir -p gh-pages
cd gh-pages
git checkout $TARGET_BRANCH || git checkout --orphan $TARGET_BRANCH
# Copy our files from staging to the repo
cp -Rf $HOME/staging/* .
#if [ -z `git diff --exit-code` ]; then
# printf "No changes to the output on this push; exiting.\n"
# exit 0
#fi
#add, commit and push files
ls -lh
make_index () { $TRAVIS_BUILD_DIR/tools/make-index.sh > ./file-index.html ; }
make_index
sed -e 's|<body><h2>Coverage Report</h2>|<body><h2>Coverage Report <small>for libmoar, commit id '$SHA'</small></h2>|' < libmoar/index.html > libmoar_index.html
sed -e 's|<body><h2>Coverage Report</h2>|<body><h2>Coverage Report <small>for moar, commit id '$SHA'</small></h2>|' < moar/index.html > moar_index.html
sed -e 's|</body></html>||' < libmoar_index.html > libmoar_index_head_and_content.html
sed -e 's|.*</head><body>||' < moar_index.html > moar_index_content_and_tail.html
rm libmoar_index.html
rm moar_index.html
cp libmoar/style.css .
sed --in-place -e "s|href='coverage/home/|href='libmoar/coverage/home/|g" libmoar_index_head_and_content.html
sed --in-place -e "s|href='coverage/home/|href='moar/coverage/home/|g" moar_index_content_and_tail.html
cat libmoar_index_head_and_content.html moar_index_content_and_tail.html > index.html
rm libmoar_index_head_and_content.html
rm moar_index_content_and_tail.html
git add -fv .
git commit -m "$COMMIT_MSG" && \
git pull --rebase --ff-only && \
git push -fv origin $TARGET_BRANCH
echo "Done magic with push"
fi
|
