Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add the VS Code extension for Unison #114

Open
wants to merge 3 commits into
base: trunk
Choose a base branch
from

Conversation

sellout
Copy link
Collaborator

@sellout sellout commented Feb 18, 2025

I recommend reviewing the commits separately.

The second one does a lot of rejiggering of the Home Manager configuration. The commit message for this one is likely helpful. If it makes things easier, I can split this into two commits – one that extracts the file, with minimal changes just to get things compiling, then a second that makes the rest of the changes.

The third one adds a GitHub check for the Home Manager configuration.

@sellout
Copy link
Collaborator Author

sellout commented Feb 18, 2025

I could also split this into two PRs …

It was getting too long to keep in the flake, and it works better as an example
on its own.

I also documented the HM config a bit, and made some changes that made more
sense once it was extracted:

- added a tree-sitter grammar derivation to packages;
- moved `self.lib.tree-sitter-grammars` to `self.overlays.tree-sitter`;
- overlaid the Unison tree-sitter grammar on the `nvim-treesitter` Vim plugin;
- added our overlay to Nixpkgs in the HM config, rather than `import nixpkgs …`;
- split up the Home Manager sections to make the distinct configs more obvious;
- made the Emacs’ config _slightly_ less annoying;
- removed `programs.emacs.package` (Emacs 29 is the default now);
- added `programs.neovim` to the HM config; and
- updated `home.stateVersion`.

[^1]: I was hoping to get rid of the former, since there is now a derivation for
the grammar, but it seems `pkgs.tree-sitter` wants to make all its derivations
itself.
@ceedubs
Copy link
Owner

ceedubs commented Feb 19, 2025

Thanks! I'll try to take a closer look at this tomorrow.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants