Différences
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 Les deux révisions suivantes | ||
prolog [Le 15/10/2013, 15:15] 129.175.152.155 passage liens apt:// en apt>, c'est pareil mais c'est plus joli :) + maj du lien pour TkECLiPSe |
prolog [Le 13/05/2014, 19:53] 78.250.179.173 [Utilisation avec Emacs] |
||
---|---|---|---|
Ligne 36: | Ligne 36: | ||
Commencez d'abord par installer le paquet [[apt>prolog-el|prolog-el]] : | Commencez d'abord par installer le paquet [[apt>prolog-el|prolog-el]] : | ||
<code>sudo apt-get install prolog-el</code> | <code>sudo apt-get install prolog-el</code> | ||
- | + | Ensuite éditez votre fichier **~/.emacs** pour y ajouter les lignes suivantes : | |
- | Ensuite éditez votre fichier **~/.emacs** | + | |
- | <code>gedit ~/.emacs</code> | + | |
- | pour y ajouter les lignes suivantes : | + | |
<file bash ~/.emacs> | <file bash ~/.emacs> | ||
;; Ajout du mode Prolog | ;; Ajout du mode Prolog |