diff options
Diffstat (limited to 'build-repo.sh')
-rwxr-xr-x | build-repo.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/build-repo.sh b/build-repo.sh index 6d95b92..f4cd0d5 100755 --- a/build-repo.sh +++ b/build-repo.sh @@ -9,6 +9,7 @@ fetch () { } build () { + REPOS_INDEX=dist/repo/index.html rm $REPOS_INDEX @@ -152,11 +153,20 @@ sync () { [[ $# = 0 ]] || rsync -vLta --no-perms --no-owner --no-group --delete -z -e ssh ./dist/ $1 } +index () { + INDEX=dist/index.html + rm $INDEX + + echo-head "xilinux" >> $INDEX + cat index.html >> $INDEX +} + # update the repository clean fetch build +index clean sync $@ |