Docs: make sure shell examples can be copied (#1670)

close #1656

---------

Co-authored-by: 6543 <6543@obermui.de>
Co-authored-by: qwerty287 <80460567+qwerty287@users.noreply.github.com>
This commit is contained in:
Dhanu Saputra
2023-03-25 00:18:14 +07:00
committed by GitHub
parent 3a5e912a6e
commit e9fc5ebd0e
4 changed files with 29 additions and 27 deletions

View File

@@ -57,8 +57,8 @@ pipeline:
Get the container id using `docker ps` and copy the id from the first column. Enter the container with: `docker exec -it 1234asdf bash` (replace `1234asdf` with the docker id). Then try to clone the git repository with the commands from the failing pipeline:
```bash
$ git init
$ git remote add origin https://git.example.com/username/repo.git
$ git fetch --no-tags origin +refs/heads/branch:
git init
git remote add origin https://git.example.com/username/repo.git
git fetch --no-tags origin +refs/heads/branch:
```
(replace the url AND the branch with the correct values, use your username and password as log in values)