GNU/Emacs

Le meilleur éditeur de texte est, sans débat possible, GNU/Emacs. Je propose une configuration par défaut pour les cours de Système 1 et de programmation C. Cette page explique comment la récupérer.

Vous êtes sur une machine du petit Valrose

Normalement, vous avez déjà fait cette procédure lors de votre premier TP de système 1 pour configurer zsh et Emacs. Si ce n’est pas le cas, vous pouvez les (re)configurer en faisant :

/users/personnel/m/mi1si/Config/configurer-upinfo.sh

Vous êtes sur une machine personnelle sous GNU/Linux

Téléchargement et installation des fichiers (façon manuelle)

Pour avoir la même configuration qu’à la fac il vaut télécharger le fichier POINTemacs.el ainsi que l’archive upinfo.zip contenant un répertoire upinfo/.

1. Il faut d’abords renommer le fichier en .emacs dans votre répertoire personnel
2. Il faut ensuite déplacer upinfo/ dans le répertoire .emacs.d/ (à créer s’il n’existe pas)

Téléchargement et installation des fichiers (façon automatique)

Si vous êtes feignant et que vous me faîtes confiance, téléchargez et exécutez le script suivant : configurer-emacs.sh

  wget https://upinfo.univ-cotedazur.fr/~obaldellon/conf/configurer-emacs.sh
  chmod u+x configurer-emacs.sh 
  ./configurer-emacs.sh

Installation des paquets

1. Lancez Emacs en mode graphique
2. Dans le menu Aide UPInfo cliquez sur Installer les paquets
3. Redémarrez Emacs

Vous êtes sur une machine personnelle sous MacOS

Normalement, les consignes précédentes sous GNU/Linux devraient fonctionner

Vous êtes sur une machine personnelle sous Windows

• Supprimez Windows et installez GNU/Linux, de préférence Debian
• À défaut, installez WSL et dans WSL utilisez la procédure pour Linux.