Skip to content

vscode packages#121

Merged
UnstoppableMango merged 3 commits intomainfrom
vscode-packages
Apr 26, 2026
Merged

vscode packages#121
UnstoppableMango merged 3 commits intomainfrom
vscode-packages

Conversation

@UnstoppableMango
Copy link
Copy Markdown
Owner

  • WIP
  • Revert VSCode inputs change

Copilot AI review requested due to automatic review settings April 26, 2026 17:00
Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

Reverts the VSCode extension source wiring for the Hades VSCode profile, and enables the VSCode module for user erik.

Changes:

  • Enable dotfiles.vscode for users/erik.
  • Switch VSCode profile Hades to source extensions from pkgs.vscode-marketplace instead of inputs.

Reviewed changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated 1 comment.

File Description
users/erik/default.nix Enables the repo’s VSCode Home Manager module for Erik.
editors/vscode/profiles/hades/default.nix Updates the Hades profile to use pkgs.vscode-marketplace for extensions.

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Comment thread users/erik/default.nix
helix.enable = true;
zed.enable = true;
neovim.enable = true;
vscode.enable = true;
Copy link

Copilot AI Apr 26, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

PR description says this is only reverting the VSCode inputs change, but this file also newly enables the VSCode dotfiles module for user erik. If enabling VSCode here is intentional, please update the PR description (or split into a separate PR) so reviewers understand the scope change.

Copilot uses AI. Check for mistakes.
@UnstoppableMango UnstoppableMango merged commit 29fc195 into main Apr 26, 2026
2 checks passed
@UnstoppableMango UnstoppableMango deleted the vscode-packages branch April 26, 2026 17:34
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