Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionLast revisionBoth sides next revision | ||
dev:git [2020/08/29 00:56] – Mention the github.com and gitlab.com mirrors digital man | dev:git [2022/08/22 20:43] – Add instructions to install Git itself digital man | ||
---|---|---|---|
Line 4: | Line 4: | ||
You can download source archives from the GitLab web UI (e.g. [[https:// | You can download source archives from the GitLab web UI (e.g. [[https:// | ||
+ | |||
+ | On Debian-based Linux systems (e.g. Ubuntu), you can install Git as follows: | ||
+ | $ sudo apt install git | ||
+ | For instructions on downloading/ | ||
To clone the repository to your local system (into a directory named '' | To clone the repository to your local system (into a directory named '' | ||
- | $ git clone https:// | + | $ git clone https:// |
| | ||
To clone the repository to your local system using SSH (your public key must be configured for your user account at '' | To clone the repository to your local system using SSH (your public key must be configured for your user account at '' | ||
- | $ git clone git@gitlab.synchro.net: | + | $ git clone git@gitlab.synchro.net: |
| | ||
===== Mirrors ===== | ===== Mirrors ===== | ||
The Synchronet Source Repository is mirrored (e.g. for faster downloads/ | The Synchronet Source Repository is mirrored (e.g. for faster downloads/ | ||
- | * https:// | + | * https:// |
- | * https:// | + | * https:// |