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

[vscode-extensions] Refactoring extensions #196

Open
wants to merge 1 commit into
base: development
Choose a base branch
from
Open

Conversation

DT3264
Copy link
Collaborator

@DT3264 DT3264 commented Aug 11, 2023

[vscode-extensions] Refactoring extensions

How to test

  • pull this PR
  • open vscodium and in the extensions tab type @Builtin, keep track of the extension count on each section
  • close vscodium
  • execute ./make-extensions.sh (after that all of the 5 modules should be under /run/initramfs...)
  • enable all of the 5 extensions
  • open vscodium and look again for the builtin extensions and now you should have 5 more :D

@DT3264
Copy link
Collaborator Author

DT3264 commented Aug 11, 2023

This issue is an alternative version of #184

@DT3264 DT3264 changed the title [Modules] Adding cpptools vscode extension [vscode-extensions] Refactoring extensions Aug 11, 2023
# How to test
- pull this PR
- open vscodium and in the extensions tab type @Builtin, keep track of the extension count on each section
- close vscodium
- execute ./make-extensions.sh (after that all of the 5 modules should be under /run/initramfs...)
- enable all of the 5 extensions
- open vscodium and look again for the builtin extensions and now you should have 5 more :D
@DT3264
Copy link
Collaborator Author

DT3264 commented Sep 2, 2023

@equetzal this way of placing the extensions is independent of your implementation, we could keep either or both as you choose, although using this aproach the extensions will appear only if @builtin is typed in the extension search since they are added as part of vscode instead of user installed extensions.

I also squashed all of the PRs into a single one, I dont remember why, but I remember having a good reason when I did it lol

wdyt?

@DT3264 DT3264 marked this pull request as ready for review September 2, 2023 21: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.

1 participant