blob: 554ec17ea87d730a8cf10c6b0d41d0e01dad1151 (
plain)
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
|
#!/bin/bash
if [ ! -e src/lombok/core/Version.java ]; then
echo Run this script from the lombok project home directory.
exit
fi
if [ ! -e dist/website.tar ]; then
echo There is no dist/website.tar file! Run:
echo ant website
echo then restart this script
exit
fi
mkdir -p build/temp || exit
cd build/temp || exit
git clone -l -n ../.. websitegit || exit
cd websitegit || exit
BRANCHOK="foo"
git branch gh-pages origin/gh-pages || BRANCHOK="bar"
if [ $BRANCHOK == "bar" ]; then
echo If you get error fatal: Not a valid object name: origin/gh-pages.
echo then run: git branch gh-pages origin/gh-pages
echo first before running this script
exit
fi
git checkout gh-pages || exit
rm -r * || exit
tar xf ../../../dist/website.tar || exit
git add . || exit
git commit -a -m website || exit
git push origin gh-pages || exit
cd .. || exit
rm -rf websitegit || exit
echo Your gh-pages branch has been updated. Do not forget to run:
echo git push origin gh-pages
|
