2023-07-22 16:32:34 +02:00
|
|
|
{ pkgs, ... }:
|
2023-04-28 13:28:55 +02:00
|
|
|
{
|
2022-02-07 00:00:20 +01:00
|
|
|
|
|
|
|
|
programs.vscode = {
|
2022-02-07 00:01:27 +01:00
|
|
|
enable = true;
|
2022-02-07 18:11:50 +01:00
|
|
|
|
2023-07-22 16:32:34 +02:00
|
|
|
# Use the proprietary VSCode build from Microsft
|
|
|
|
|
# This way we get the "Settings Sync" feature
|
|
|
|
|
package = pkgs.vscode;
|
|
|
|
|
extensions = [];
|
2022-02-07 00:01:27 +01:00
|
|
|
};
|
2022-02-07 00:00:20 +01:00
|
|
|
}
|
