diff options
author | davidovski <david@davidovski.xyz> | 2021-11-20 18:18:21 +0000 |
---|---|---|
committer | davidovski <david@davidovski.xyz> | 2021-11-20 18:18:21 +0000 |
commit | 29aca1e36f959b813a4c5f50daf3cdfd38cf50c4 (patch) | |
tree | 7120ccb0849d4cfd919ec6e28ea56dbf84581e57 /build-repo.sh | |
parent | a1629e15ec3bc248b0fc44b92d983b81375d3a50 (diff) |
added index
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 $@ |