Merge branch 'main' into issue_480

Author: hnwyllmm

.gitpod.yml

@@ -1,10 +1,3 @@
-github:
-  prebuilds:
-    master: false
-    branches: false
-tasks:
-  - name: install dependencies
-    init: |
-      sudo apt install cmake flex bison texinfo libreadline-dev -y
-      sudo bash build.sh init
-      echo -e "\033[32m\nDependency installed successfully\033[0m"
+coreDump:
+  enabled: true
+image: oceanbase/miniob:latest

CMakeLists.txt

@@ -7,7 +7,7 @@ MESSAGE(STATUS "This is Project source dir " ${PROJECT_SOURCE_DIR})
 MESSAGE(STATUS "This is PROJECT_BINARY_DIR dir " ${PROJECT_BINARY_DIR})
 
 SET(EXECUTABLE_OUTPUT_PATH ${PROJECT_BINARY_DIR}/bin)
-SET(CMAKE_PREFIX_PATH "${CMAKE_PREFIX_PATH};${PROJECT_SOURCE_DIR}/deps/3rd/usr/local")
+SET(CMAKE_PREFIX_PATH "${PROJECT_SOURCE_DIR}/deps/3rd/usr/local;/usr/local;${CMAKE_PREFIX_PATH}")
 SET(CMAKE_MODULE_PATH ${CMAKE_MODULE_PATH} ${CMAKE_SOURCE_DIR}/cmake)
 
 # 设置默认构建类型为 Debug

docker/Dockerfile

@@ -24,7 +24,9 @@ RUN apt-get update \
 
 RUN apt-get install -y openssh-server
 
-RUN git clone https://github.com/oceanbase/miniob /tmp/miniob  \
+# Try cloning from GitHub, if it fails, use cnpmjs.org mirror
+RUN git clone https://github.com/oceanbase/miniob /tmp/miniob || \
+    git clone https://githubfast.com/oceanbase/miniob /tmp/miniob \
     && cd /tmp/miniob \
     && THIRD_PARTY_INSTALL_PREFIX=/usr/local bash build.sh init \
     && mkdir -p /root/docker/bin \