... | @@ -54,7 +54,6 @@ Cette archive contient notamment un fichier `.gitconfig` et des fichiers de code |
... | @@ -54,7 +54,6 @@ Cette archive contient notamment un fichier `.gitconfig` et des fichiers de code |
|
|
|
|
|
### Interlude optionnel, pour ceux qui souhaitent compiler et exécuter le code des TP
|
|
### Interlude optionnel, pour ceux qui souhaitent compiler et exécuter le code des TP
|
|
`./waf configure build`
|
|
`./waf configure build`
|
|
|
|
|
|
`LD_LIBRARY_PATH=./__build__/liba:./__build__/libb ./__build__/app/app`
|
|
`LD_LIBRARY_PATH=./__build__/liba:./__build__/libb ./__build__/app/app`
|
|
|
|
|
|
### On code
|
|
### On code
|
... | @@ -195,21 +194,13 @@ Pas d'exercices entre utilisateurs: le cas est rare, et l'exercice compliqué à |
... | @@ -195,21 +194,13 @@ Pas d'exercices entre utilisateurs: le cas est rare, et l'exercice compliqué à |
|
|
|
|
|
## Remote
|
|
## Remote
|
|
GitHub/GitLab
|
|
GitHub/GitLab
|
|
> git clone --bare
|
|
|
|
|
|
|
|
> git remote
|
|
|
|
|
|
|
|
|
|
|
|
> git clone
|
|
|
|
|
|
|
|
|
|
|
|
> git fetch
|
|
|
|
|
|
|
|
|
|
|
|
> git pull
|
|
|
|
|
|
|
|
|
|
|
|
> git push
|
|
git clone --bare
|
|
|
|
git remote
|
|
|
|
git clone
|
|
|
|
git fetch
|
|
|
|
git pull
|
|
|
|
git push
|
|
|
|
|
|
remote branches
|
|
remote branches
|
|
|
|
|
... | | ... | |