···

       
1
       
 
       
#!/usr/bin/env bash

     

       
2
       
 
       
set -ex

     

       
3
       
 
       


     

       
0
       
 
       

     

       
4
       
 
       
TARGET_DIR="${PWD}/public"

     

       
5
       
 
       
pipenv run build

     

       
6
       
-
       
cp "$TARGET_DIR/assets/images/favicon.png" "$TARGET_DIR/favicon.ico"

     

       
0
       
 
       

     

···

       
1
       
 
       
#!/usr/bin/env bash

     

       
2
       
 
       
set -ex

     

       
3
       
 
       


     

       
4
       
+
       
SOURCE_DIR="${PWD}/markdown"

     

       
5
       
 
       
TARGET_DIR="${PWD}/public"

     

       
6
       
 
       
pipenv run build

     

       
7
       
+
       
cp "$TARGET_DIR/assets/images/favicon.png" "$TARGET_DIR/favicon.ico" -v

     

       
8
       
+
       
cp "$SOURCE_DIR/.well-known" "$TARGET_DIR/" -rv

     

···

       
20
       
 
       


     

       
21
       
 
       
if [[ $CI == "true" ]] && [[ $CI_PIPELINE_SOURCE == "push" || $CI_PIPELINE_SOURCE == "web" ]] && [[ $CI_COMMIT_BRANCH == $CI_DEFAULT_BRANCH ]]; then

     

       
22
       
 
       
  npx wrangler pages publish ${_root_directory_git}/public --project-name ${CF_PAGES_PROJECT_NAME} --branch main

     

       
0
       
 
       

     

       
23
       
 
       
fi
     

···

       
20
       
 
       


     

       
21
       
 
       
if [[ $CI == "true" ]] && [[ $CI_PIPELINE_SOURCE == "push" || $CI_PIPELINE_SOURCE == "web" ]] && [[ $CI_COMMIT_BRANCH == $CI_DEFAULT_BRANCH ]]; then

     

       
22
       
 
       
  npx wrangler pages publish ${_root_directory_git}/public --project-name ${CF_PAGES_PROJECT_NAME} --branch main

     

       
23
       
+
       
  scp -rv public ajhalili@iapetus.uberspace.de:html

     

       
24
       
 
       
fi