Commit 32c78530 authored by Vincent Wei's avatar Vincent Wei

tune for using gitlab preferentially

parent c08bb7b6
......@@ -182,6 +182,15 @@ $ cd build-minigui-5.0/
$ cp config.sh myconfig.sh
```
Note that we found the mirrors from our GibLab repositories to GitHub were often broken
due to the well known fire wall. So you can change your `myconfig.sh` file to
use our GibLat site directly:
```
# Use this if you want to use our GitLab site via HTTPS
REPO_URL=https://gitlab.fmsoft.cn/VincentWei
```
1. Run `fetch-all.sh` to fetch all source from GitHub:
```
......
......@@ -7,7 +7,7 @@
#
# The URL prefix of remote repository.
# Use this if you want to visit the repos on gitlab.fmsoft.cn via HTTPS
# Use this if you want to use the repos on gitlab.fmsoft.cn via HTTPS (recommended)
REPO_URL=https://gitlab.fmsoft.cn/VincentWei
# Use this one if you are a developer of MiniGUI
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment