arduino/esp8266
1
0
Fork 0
mirror of https://github.com/esp8266/Arduino.git synced 2025-04-19 23:22:16 +03:00
Code

Update release tools

Browse Source
This commit is contained in:
Ivan Grokhotkov 2016-01-04 18:36:28 +03:00
parent a995643e7d
commit 971bba13dd
2 changed files with 6 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
package/build_boards_manager_package.sh
View File

@ -39,7 +39,7 @@ cat << EOF > exclude.txt
package package
EOF EOF
# Also include all files which are ignored by git # Also include all files which are ignored by git
git ls-files --other --ignored --exclude-standard --directory >> exclude.txt git ls-files --other --directory >> exclude.txt
# Now copy files to $outdir # Now copy files to $outdir
rsync -a --exclude-from 'exclude.txt' $srcdir/ $outdir/ rsync -a --exclude-from 'exclude.txt' $srcdir/ $outdir/
rm exclude.txt rm exclude.txt

9
package/esp8266-arudino-doc.bash
View File

@ -24,8 +24,9 @@ set -e
# some variable definitions # some variable definitions
tmp_path=$1 tmp_path=$1
arduinoESP_src="$tmp_path/arduino" doc_src_path=$2
version="$(git --work-tree=$arduinoESP_src describe --tags --always)" arduinoESP_src=$(cd $PWD/..; pwd)
version="$(git --work-tree=$arduinoESP_src --git-dir=$arduinoESP_src/.git describe --tags --always)"
release_date=$(date "+%b_%d,_%Y") # format for badge link release_date=$(date "+%b_%d,_%Y") # format for badge link
build_date=$(date "+%b %d, %Y") build_date=$(date "+%b %d, %Y")
destination_path="$tmp_path/doc" destination_path="$tmp_path/doc"
@ -62,7 +63,8 @@ mkdir -p $destination_path/$version
cp -R $arduinoESP_src/doc/* $destination_path/src cp -R $arduinoESP_src/doc/* $destination_path/src
# download doc template # download doc template
git clone $doc_template_url $destination_path/build rsync -av $doc_src_path/ $destination_path/build/
# git clone $doc_template_url $destination_path/build
# create versions.html file # create versions.html file
@ -113,4 +115,3 @@ popd
# grab badge # grab badge
wget -q -O $destination_path/$version/badge.svg "https://img.shields.io/badge/updated-$release_date-blue.svg" wget -q -O $destination_path/$version/badge.svg "https://img.shields.io/badge/updated-$release_date-blue.svg"