# # VSCode extensions we use. # { vscode-utils, ... }: let # Helper for creating simple marketplace extesnsions. quickMarketplaceExtension = args: vscode-utils.buildVscodeMarketplaceExtension { mktplcRef = args; }; in { # # Various simple extension definitions. # gregoire.dance = quickMarketplaceExtension { name = "dance"; publisher = "gregoire"; version = "0.5.15001"; hash = "sha256-gGTpeOQeIQj2ObyC6504+lzLFUS35RNw5z2/isPRpyM="; }; pokey.talon = quickMarketplaceExtension { name = "talon"; publisher = "pokey"; version = "0.2.0"; hash = "sha256-BPc0jGGoKctANP4m305hoG9dgrhjxZtFdCdkTeWh/Xk="; }; pokey.cursorless = quickMarketplaceExtension { name = "cursorless"; publisher = "pokey"; version = "0.29.1295"; hash = "sha256-QIfAu76QhIII8Xnt5lCCVsZAaa57OHszC4ZQuq67MZs="; }; }