apprendre emacs

Je vais bientôt faire un programme de recherche avec un assistant de preuve et tout le monde dans le labo utilise emacs.
J'utilise pour le moment un plugin vim qui me permet de reproduire plus ou moins l'expérience emacs pour cet assistant de preuve mais je doute fortement que ce sera compatible avec leurs outils

Me conseillez-vous d'installer une distribution préconfiguré ou de me contenter de la version vanilla?

Un assistant de preuve ?

oui, un langage de programmation permettant de formaliser des arguments mathématiques et de les faire vérifier automatiquement.
Tu peux écrire tes propres définitions ; par exemple ici une syntaxe pour une logique de premier ordre avec des règles d'introduction/évaluation

on peut ensuite démontrer des lemmes ; par exemple ici un cas particulier de cut elimination


Ici j'utilise le langage coq.

emacs ? de ce que je sais, seuls les fanatiques de stallman et quelques universitaires l'utilisent

je ne bosse pas dans le dev à proprement parler :Konmignon:
il existe une extension vscode pour coq, mais il faut accepter de vendre son âme à microsoft. Puisque personne dans le labo ne l'utilise je préfère rester sur des logiciels libres.

@Miko tu connais emacs ?

pareil :Konmignon:
c'est agréable de pouvoir préserver sa configuration par ssh

ils sont particulièrement rapides et peuvent être intégrés facilement dans un environnement tmux

Je vois. Quel était l'autre choix à 42? c'est étrange d'imposer un éditeur de texte

J'ai testé emacs doom et le problème c'est que c'est mal documenté donc au final pas si pratique que ce qu'on pourrait éspérer.

Autant rester sur la version de base avec evil pour avoir des raccourcis clavier plus adaptés

Si tu connais elisp c'est cool par-ce que tu peux faire faire ce que tu veux a emacs, c'est très pratique pour écrire des papiers scientifiques askip

J'utilise des print en python et gdb en c (en particulier pour les segfaults)

Si tu veux une interface, il existe toujours des plugins  https://github.com/mfussenegger/nvim-dap

stylé

C'est plaisant comme panel de couleurs

De ce que j'ai pu comprendre, emacs est plus proche d'un repl Lisp que d'un éditeur de texte.
Evil, c'est pour avoir les raccourcis vim? Il ne risque pas d'y avoir des conflits si j'installe d'autres plugins?

J'utilise Vim pour a peu près tout perso

 https://github.com/morhetz/gruvbox

Merci, je n'y comprend pas grand chose au logiciel mais je vais certainement garder les codes couleurs

C'est simple mais terriblement efficace