This repository was archived by the owner on Sep 3, 2025. It is now read-only.
File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 2525 "todo-tree.regex.regex" : " ((--\\ s*($TAGS))|\\ {-\\ s($TAGS).*(\\ n.*)*-})" ,
2626 "vscode-dhall-lsp-server.executable" : " dhall-lsp-server" ,
2727 "workbench.colorTheme" : " Monokai" ,
28- "workbench.sideBar.location" : " right"
28+ "workbench.sideBar.location" : " right" ,
29+ "yaml.schemas" : {
30+ "https://json.schemastore.org/github-action" : " ./.githhub/actions/**/action.yml" ,
31+ "https://json.schemastore.org/github-workflow" : " ./.githhub/workflows/**/*.yml"
32+ }
2933}
Original file line number Diff line number Diff line change 44 nixpkgs . follows = "common-flake/nixpkgs" ;
55 flake-utils . follows = "common-flake/flake-utils" ;
66 my-codium . follows = "common-flake/my-codium" ;
7+ nix-vscode-marketplace . follows = "common-flake/nix-vscode-marketplace" ;
78 backend = {
89 url = path:./back ;
910 } ;
1920 , nixpkgs
2021 , my-codium
2122 , common-flake
23+ , nix-vscode-marketplace
2224 } :
2325 flake-utils . lib . eachDefaultSystem ( system :
2426 let
2527 pkgs = nixpkgs . legacyPackages . ${ system } ;
2628 inherit ( my-codium . tools . ${ system } )
2729 writeSettingsJson
2830 settingsNix
29- codium
3031 shellTools
3132 toList
33+ mkCodium
34+ extensions
3235 toolsGHC
3336 ;
3437 tools902 = builtins . attrValues ( {
3538 inherit ( toolsGHC "902" ) hls stack ;
3639 } ) ;
40+ codium =
41+ let
42+ inherit ( nix-vscode-marketplace . packages . ${ system } ) vscode open-vsx ;
43+ in
44+ mkCodium ( extensions //
45+ {
46+ add = {
47+ inherit ( open-vsx . cschleiden ) vscode-github-actions ;
48+ } ;
49+ }
50+ ) ;
3751 tools = pkgs . lib . lists . flatten [
3852 ( toList shellTools )
3953 codium
4054 tools902
4155 ] ;
56+
57+ settings = settingsNix // {
58+ yaml = {
59+ "yaml.schemas" = {
60+ "https://json.schemastore.org/github-workflow" = "/.githhub/workflows/**/*.yml" ;
61+ "https://json.schemastore.org/github-action" = "/.githhub/actions/**/action.yml" ;
62+ } ;
63+ } ;
64+ } ;
4265 in
4366 {
4467 devShells =
5780 # nix develop .#write-settings
5881 # will write the settings.json file
5982 write-settings = pkgs . mkShell {
60- buildInputs = [ ( writeSettingsJson settingsNix ) ] ;
83+ buildInputs = [ ( writeSettingsJson settings ) ] ;
6184 shellHook = "write-settings" ;
6285 } ;
6386 } ;
You can’t perform that action at this time.
0 commit comments