mirror of
https://git.sr.ht/~seirdy/seirdy.one
synced 2024-11-10 00:12:09 +00:00
CI: ignore gemini/ dir when deploying HTML
This commit is contained in:
parent
9740ccc38d
commit
1309534838
2 changed files with 4 additions and 3 deletions
|
@ -10,7 +10,7 @@ secrets:
|
|||
triggers:
|
||||
- action: email
|
||||
condition: always
|
||||
to: Rohan Kumar <seirdy@seirdy.one>
|
||||
to: seirdy@seirdy.one
|
||||
tasks:
|
||||
- build: |
|
||||
cd seirdy.one
|
||||
|
|
|
@ -12,7 +12,9 @@ case "$1" in
|
|||
gemini_prefix="$login:/home/seirdy/public_gemini"
|
||||
;;
|
||||
localhost)
|
||||
www_prefix='/tmp/www/seeirdy.one'
|
||||
gemini_prefix='/tmp/gemini/serve/seirdy.one'
|
||||
mkdir -p "$www_prefix" "$gemini_prefix"
|
||||
;;
|
||||
*)
|
||||
echo 'must supply hostname' >&2
|
||||
|
@ -20,7 +22,6 @@ case "$1" in
|
|||
;;
|
||||
esac
|
||||
|
||||
[ "$1" != 'localhost' ] \
|
||||
&& rsync -rvzP --exclude "public/gemini" --exclude "*.gmi" public/ "$www_prefix/"
|
||||
rsync -rvzP --exclude "gemini" --exclude "*.gmi" public/ "$www_prefix/"
|
||||
rsync -rvzP --exclude "*.html" public/gemini/ public/about public/posts "$gemini_prefix/"
|
||||
rsync -rvzP public/posts/gemini/index.xml "$gemini_prefix/feed.xml"
|
||||
|
|
Loading…
Reference in a new issue