Merge branch 'master' into dev

YDKD · Jan 8, 2023 · 72f08eb · 72f08eb
2 parents bc7bb77 + 61c4f3e
commit 72f08eb
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 2 deletions.
diff --git a/index.html b/index.html
@@ -7,7 +7,7 @@
   <link rel="stylesheet" href="//at.alicdn.com/t/font_3289955_3r7vim9xrwi.css" />
   <link href="https://fonts.googleapis.com/css2?family=JetBrains+Mono:wght@500&display=swap" rel="stylesheet" />
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
-  <title>通行扫码</title>
+  <title>Foss-Sky</title>
 </head>
 
 <body>

diff --git a/jenkins/script/restart.sh b/jenkins/script/restart.sh
@@ -1,5 +1,5 @@
 #! /bin/bash
-
+source /etc/profile
 # set -x
 # restart mysql
 docker start mysql

diff --git a/jenkins/script/stop.sh b/jenkins/script/stop.sh
@@ -1,4 +1,5 @@
 #! /bin/bash
+source /etc/profile
 
 # set -x
 # stop nestjs