Outils pour utilisateurs

Outils du site


devtools

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
Prochaine révision
Révision précédente
Prochaine révision Les deux révisions suivantes
devtools [2015/10/22 14:19]
luc
devtools [2016/11/01 16:22]
luc
Ligne 17: Ligne 17:
   *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 34:
   * cmake = autoconf + automake ?   * cmake = autoconf + automake ?
  
 +== LATEX ==
 +  * ''Gummi'' est bien sur archlinux avec gnome
  
devtools.txt · Dernière modification: 2020/06/23 20:37 de luc