On 4/18/19 2:50 PM, Florian Dold wrote: > Instead of pushing settings just for Emacs, why don't you use something > that all editors can use? > > For example https://editorconfig.org/ > > There are plugins for this for pretty much every editor out there. That > would be much more useful than a ".dir-locals.el".
Well, the nice thing about the .dir-locals.el is that it makes onboarding GNU Emacs users very fast. Editorconfig requires additional packages/dependencies to be installed for Emacs and other editors. And GNU Emacs is of course the developer editor for many GNUs ;-). So I think having .dir-locals.el is fine. We could *also* have an Editorconfig.org configuration. The big question is more how to nicely share those files across the various repositories. You mentioned in PM that you were aware of several methods, maybe you could propose one?
signature.asc
Description: OpenPGP digital signature
_______________________________________________ GNUnet-developers mailing list [email protected] https://lists.gnu.org/mailman/listinfo/gnunet-developers
