Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| dev:git [2020/08/29 00:56] – Mention the github.com and gitlab.com mirrors digital man | dev:git [2022/11/03 12:53] (current) – [See Also] added link to How-to page 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:// |
| Line 21: | Line 25: | ||
| * [[http:// | * [[http:// | ||
| - | * [[dev: | + | |
| + | | ||
| {{tag> | {{tag> | ||
