change git local root directory

2024-10-24 18:33:30 +08:00
parent 14f76888da
commit 573bb7d3e6
10 changed files with 22 additions and 22 deletions
--- a/tools/misc/dumpdb.sh
+++ b/tools/misc/dumpdb.sh
@@ -1,7 +1,7 @@
 #!/bin/bash

 Home=/home/simon
-GitLocalRoot=${Home}/local.git
+GitLocalRoot=${Home}/omc.git
 EmsBEDir=${GitLocalRoot}/be.ems
 user="root"
 password="1000omc@kp!"
--- a/tools/misc/dumpsql.sh
+++ b/tools/misc/dumpsql.sh
@@ -1,7 +1,7 @@
 #!/bin/bash

 Home=/home/simon
-GitLocalRoot=${Home}/local.git
+GitLocalRoot=${Home}/omc.git
 EmsBEDir=${GitLocalRoot}/be.ems
 EMSBuildDir=${GitLocalRoot}/build.ems
 user="root"