23 lines
447 B
Python
23 lines
447 B
Python
# Deploy the documents
|
|
|
|
import os
|
|
from datetime import datetime
|
|
|
|
|
|
def run_cmd(cmd):
|
|
print(cmd)
|
|
os.system(cmd)
|
|
|
|
|
|
run_cmd("cd $DOC_SITE_PATH; git pull")
|
|
|
|
# (Optional) Remove old files
|
|
# run_cmd("rm -rf $ALPA_SITE_PATH/*")
|
|
|
|
run_cmd("cp -r _build/html/* $DOC_SITE_PATH")
|
|
|
|
cmd_message = f"Update {datetime.now().strftime('%Y-%m-%d %H:%M:%S')}"
|
|
run_cmd(
|
|
f"cd $DOC_SITE_PATH; git add .; git commit -m '{cmd_message}'; git push origin main"
|
|
)
|