michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Use GNU parallel to upload doxygen files to dropbox

Browse source 
[skip ci]
This commit is contained in:
Soonho Kong 2013-09-15 20:17:18 -07:00
parent 58c8c1a5ec
commit e6d9aa7527
1 changed files with 7 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
.travis.yml
View file

@ -186,16 +186,18 @@ after_script:
fi
- cd ..
- if [[ $LEANREPO == BLESSED && $BUILD_DOXYGEN == TRUE ]]; then
sudo apt-get -qq install graphviz doxygen;
sudo apt-get -qq install graphviz doxygen parallel;
script/doxygen.sh;
DOXYGEN_DIR=doc/html;
find $DOXYGEN_DIR -type f -name "*.md5" -exec rm {} ";";
find $DOXYGEN_DIR -type f | xargs shasum | sort > doxygen_shasum.txt;
cp doxygen_shasum.txt $DOXYGEN_DIR/;
wget http://dl.dropboxusercontent.com/u/203889738/${DOXYGEN_DIR}/doxygen_shasum.txt -O doxygen_shasum_old.txt;
comm -23 doxygen_shasum.txt doxygen_shasum_old.txt | cut -d ' ' -f 3 > doxygen_new_files.txt;
echo "${DOXYGEN_DIR}/doxygen_shasum.txt" >> doxygen_new_files.txt;
comm -13 doxygen_shasum.txt doxygen_shasum_old.txt | cut -d ' ' -f 3 > doxygen_delete_files.txt;
script/dropbox_upload.py --destpath /Public --dropbox-token ${DROPBOX_KEY} --copylist doxygen_new_files.txt;
comm -23 doxygen_shasum.txt doxygen_shasum_old.txt | cut -d ' ' -f 3 | split -l 100 - doxygen_new_files.txt.
echo "${DOXYGEN_DIR}/doxygen_shasum.txt" >> doxygen_new_files.txt.aa;
comm -13 doxygen_shasum.txt doxygen_shasum_old.txt | cut -d ' ' -f 3 | split -l 100 - doxygen_old_files.txt.
ls -1 doxygen_old_files.txt.* | parallel -u -j 10 'script/dropbox_upload.py --destpath "/Public" --dropbox-token "${DROPBOX_KEY}" --deletelist "{}"';
ls -1 doxygen_new_files.txt.* | parallel -u -j 10 'script/dropbox_upload.py --destpath "/Public" --dropbox-token "${DROPBOX_KEY}" --copylist "{}"';
fi
- if [[ $LEANREPO == BLESSED && $UPLOAD ]]; then
UPLOAD_DIR=bin;