Update run.sh
Browse files
run.sh
CHANGED
@@ -1,5 +1,9 @@
|
|
1 |
#!/bin/bash
|
2 |
|
|
|
|
|
|
|
|
|
3 |
current_time=$(date +"%Y-%m-%d %H:%M:%S")
|
4 |
LOG_FILE="${WORKDIR}/buildlog.txt"
|
5 |
|
@@ -38,8 +42,8 @@ export EXECUTIONS_DATA_SAVE_ON_PROGRESS=false
|
|
38 |
# Don't save manually launched executions
|
39 |
export EXECUTIONS_DATA_SAVE_MANUAL_EXECUTIONS=false
|
40 |
|
41 |
-
echo "检查
|
42 |
-
if curl -
|
43 |
echo "日志文件下载成功并写入部署时间: ${LOG_FILE}"
|
44 |
echo "hf部署时间: ${current_time}" >> "${LOG_FILE}"
|
45 |
else
|
|
|
1 |
#!/bin/bash
|
2 |
|
3 |
+
WEBDAV_URL="$WEBDAV_URL"
|
4 |
+
WEBDAV_USER="$WEBDAV_USER"
|
5 |
+
WEBDAV_PASSWORD="$WEBDAV_PASSWORD"
|
6 |
+
|
7 |
current_time=$(date +"%Y-%m-%d %H:%M:%S")
|
8 |
LOG_FILE="${WORKDIR}/buildlog.txt"
|
9 |
|
|
|
42 |
# Don't save manually launched executions
|
43 |
export EXECUTIONS_DATA_SAVE_MANUAL_EXECUTIONS=false
|
44 |
|
45 |
+
echo "检查 ${WEBDAV_URL}buildlog.txt 是否存在"
|
46 |
+
if curl -u "$WEBDAV_USER:$WEBDAV_PASSWORD" -f -o "$LOG_FILE" "${WEBDAV_URL}buildlog.txt"; then
|
47 |
echo "日志文件下载成功并写入部署时间: ${LOG_FILE}"
|
48 |
echo "hf部署时间: ${current_time}" >> "${LOG_FILE}"
|
49 |
else
|