Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente | ||
devtools [2015/10/22 14:19] luc |
devtools [2020/06/23 20:37] (Version actuelle) luc |
||
---|---|---|---|
Ligne 4: | Ligne 4: | ||
* [[git]], le gestionnaire de version | * [[git]], le gestionnaire de version | ||
- | * [[gitlist]], une vue web sur un ensemble | + | * [[gogs]], un gestionnaire |
+ | * [[docker]], pour le déploiement d' | ||
=== Debugger et outils de développement === | === Debugger et outils de développement === | ||
Ligne 17: | Ligne 18: | ||
*Emacs (dans une certaine mesure) | *Emacs (dans une certaine mesure) | ||
*Vim | *Vim | ||
+ | *kakoune, clone de vim mais plus intuitif (enfin, il parait) | ||
== Editeur de texte == | == Editeur de texte == | ||
Ligne 33: | Ligne 35: | ||
* cmake = autoconf + automake ? | * cmake = autoconf + automake ? | ||
+ | == LATEX == | ||
+ | * '' | ||