Skip to content
Snippets Groups Projects
Commit 8cb4d9d8 authored by Laurent Heirendt's avatar Laurent Heirendt :airplane:
Browse files

Minor changes to slides

parent fcccdcd9
No related branches found
No related tags found
No related merge requests found
...@@ -7,7 +7,7 @@ ...@@ -7,7 +7,7 @@
`pull, status, add, commit, push` `pull, status, add, commit, push`
<br> <br>
or in other words (remember these!) or in other words (remember these!):
```shell ```shell
$ git pull $ git pull
$ git status $ git status
......
...@@ -62,7 +62,7 @@ $ git config --list ...@@ -62,7 +62,7 @@ $ git config --list
This should list the configuration with `user.name` and `user.email`. This should list the configuration with `user.name` and `user.email`.
## I need `The COBRAToolbox` - How? ## I need `The COBRAToolbox`?
Simply `clone` the repository (i.e., retrieve a copy) Simply `clone` the repository (i.e., retrieve a copy)
```sh ```sh
...@@ -77,7 +77,7 @@ Any other rudimentary method such as ...@@ -77,7 +77,7 @@ Any other rudimentary method such as
shall **be avoided**! shall **be avoided**!
## How do I `clone` a repository? ## How do I generally `clone` a repository?
You can clone any other repository with: You can clone any other repository with:
```sh ```sh
......
...@@ -8,6 +8,6 @@ ...@@ -8,6 +8,6 @@
* `clone/pull` / `status` / `add` / `commit` / `push` * `clone/pull` / `status` / `add` / `commit` / `push`
5. Branches <!--(10 min)//--> 5. Branches <!--(10 min)//-->
6. Forks <!--(10 min)//--> 6. Forks <!--(10 min)//-->
7. Good practices 7. Best practices
8. Practical session <!--(40 min)//--> 8. Practical session <!--(40 min)//-->
9. Evaluation <!--(10 min)//--> 9. Evaluation <!--(10 min)//-->
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment