manual_teachbooks/book/workflows/repositories.md
2024-04-11 12:28:44 +02:00

1.5 KiB

Open files

``````{tab-item} User type 3
Find your file on GitLab/GitHub ...
```{error} To be written
```

``````

``````{tab-item} User type 4, 5 and 6

## Find source in online repository

`````{tab-set}
````{tab-item} From GitLab

1. On GitLab, go to the repository of your book. Click on the blue button that says "Clone" ({numref}`gitlab-clone`), and copy the link under "Clone with SSH".

```{figure} ../images/gitlab-clone.png
:name: gitlab-clone

The cloning menu.
```
````

````{tab-item} From GitHub
```{error} To be written
```

````

````{tab-item} From GitHub using GitHub Desktop
```{error} To be written
```

````
`````

## Open the files locally

`````{tab-set}
````{tab-item} With Git in VS Code
2. Open a new VS Code window. You should be greeted with a welcome page ({numref}`vscode-welcome`). On this page, click "Clone Git Repository". Alternatively, open the Source Control menu from the left side bar, and click on "Clone Repository".

```{figure} ../images/vscode-welcome.png
:name: vscode-welcome

The VS Code welcome screen.
```

3. On the top of your screen, you should get a prompt asking you for a URL. In this field, paste the link you copied from GitLab and press enter. It will ask you to choose the location of the repository. After you've chosen a location, a final prompt will show up asking if you want to open the repository. Click on "Open".

4. You now have a local copy of the repository.
````

````{tab-item} With GitHub Desktop
```{error} To be written
```

````
`````

``````