Any Micro editor's extension in Nix?🤔

For python we have this:

Python.withPackages (p: with p; [
fastapi
])

Do we have anything similar to this for Micro editor?
Where I can declare the micro editor package along with the extensions?:thinking:
That would be very convenient.

you should make a PR for that, i would use it

I’m a little bit tempted……

I think upstream does not currently support a custom plugin/config directory per Support installing plugins from a local directory · Issue #1990 · micro-editor/micro · GitHub, so it may not be possible without patching the code (i.e. rebuild or at least a PR to nixpkgs of some sort).

That does imply it is more of a home-manager problem than a nixos one.

Not necessarily. You could implement this in nixpkgs already.

Why would HM be a requirement?

I almost did add them

the problem has been friction upstream in maintaining the plugin repository, with various forks which since has stopped. I am not aware of what the current state is.

The reason i haven’t continued the effort is because i use micro: add bindings, ensurePlugins, and trueColor options by pbsds · Pull Request #3224 · nix-community/home-manager · GitHub in my own config

PRs welcome :slight_smile: