Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| dev:git [2020/09/04 17:05] – [Mirrors] updated github and gitlab mirror names to be consistent 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 ===== | ||
| Line 21: | Line 25: | ||
| * [[http:// | * [[http:// | ||
| - | * [[dev: | + | |
| + | | ||
| {{tag> | {{tag> | ||
