home-manager: change vscode/codim a bit and add extension

This commit is contained in:
Aaron Honeycutt 2024-01-31 07:57:35 -07:00
parent 9113aeacf4
commit af5997a7fb

View file

@ -28,8 +28,7 @@
system76-keyboard-configurator system76-keyboard-configurator
tuba tuba
#youtube-music #youtube-music
vscodium
# CLI # CLI
mdbook mdbook
freshfetch freshfetch
@ -76,6 +75,14 @@
enable = true; enable = true;
enableBashIntegration = true; enableBashIntegration = true;
}; };
programs.vscode = {
enable = true;
package = pkgs.vscodium;
extensions = with pkgs.vscode-extensions; [
yzhang.markdown-all-in-one
];
};
dconf.settings = { dconf.settings = {
"org/gnome/shell" = { "org/gnome/shell" = {