mirror of
https://github.com/seigler/dash-docs
synced 2025-07-27 01:36:13 +00:00
Drop outdated/unused scripts
This commit is contained in:
parent
890420b2c3
commit
9c8a6ea313
2 changed files with 0 additions and 78 deletions
|
@ -1,35 +0,0 @@
|
|||
#!/bin/bash
|
||||
|
||||
REPO='https://github.com/bitcoin/bitcoin.org.git'
|
||||
WORKDIR='/bitcoin.org'
|
||||
DESTDIR='/var/www/bitcoinorg'
|
||||
|
||||
# Stop script in case a single command fails
|
||||
set -e
|
||||
|
||||
export PATH=/var/lib/gems/1.8/bin/:$PATH
|
||||
|
||||
# Clone repository if missing
|
||||
if [ ! -d $WORKDIR ]; then
|
||||
git clone $REPO $WORKDIR
|
||||
cd $WORKDIR
|
||||
git reset --hard HEAD~1
|
||||
fi
|
||||
|
||||
cd $WORKDIR
|
||||
|
||||
# Exit if no new commit is available
|
||||
git fetch -a
|
||||
LASTLOCALCOMMIT=`git log --format="%H" | head -n1`
|
||||
LASTREMOTECOMMIT=`git log origin/master --format="%H" | head -n1`
|
||||
if [ $LASTLOCALCOMMIT == $LASTREMOTECOMMIT ]; then
|
||||
exit
|
||||
fi
|
||||
|
||||
# Update local branch
|
||||
git reset --hard origin/master
|
||||
git clean -x -f -d
|
||||
|
||||
# Build website
|
||||
jekyll
|
||||
rsync --exclude /bin/ --delete -a $WORKDIR/_site/ $DESTDIR/
|
|
@ -1,43 +0,0 @@
|
|||
#!/bin/bash
|
||||
|
||||
REPO=git://github.com/bitcoin/bitcoin.org.git
|
||||
DESTREPO=git@github.com:bitcoin/bitcoin.github.com.git
|
||||
|
||||
WORKDIR=`mktemp -d`
|
||||
DESTDIR=`mktemp -d`
|
||||
|
||||
# Stop script in case a single command fails
|
||||
set -e
|
||||
|
||||
# Cleanup on EXIT (even when a command fails)
|
||||
trap "rm -rf $WORKDIR $DESTDIR; exit 1" EXIT
|
||||
|
||||
export PATH=/var/lib/gems/1.8/bin/:$PATH
|
||||
|
||||
git clone $REPO $WORKDIR
|
||||
|
||||
cd $WORKDIR
|
||||
|
||||
git pull origin master
|
||||
git reset --hard
|
||||
git clean -x -f -d
|
||||
mkdir _site/
|
||||
|
||||
jekyll
|
||||
|
||||
git clone $DESTREPO $DESTDIR
|
||||
|
||||
COMMITMSG="jekyll build on `date -R` from `git log --oneline|head -n1`"
|
||||
|
||||
cd $DESTDIR
|
||||
|
||||
git pull origin master
|
||||
git reset --hard
|
||||
git clean -x -f -d
|
||||
|
||||
rsync --exclude=.git/ --delete -a $WORKDIR/_site/ $DESTDIR
|
||||
|
||||
git add .
|
||||
git commit -a -m "$COMMITMSG"
|
||||
git push origin master
|
||||
|
Loading…
Add table
Add a link
Reference in a new issue