ide
Configuration options for stackpanel.ide
Ide Options
ide.cursor.enable
Whether to enable Cursor editor integration (not yet implemented).
| Property | Value |
|---|---|
| Type | boolean |
| Default | false |
Example:
true
ide.enable
Generate IDE configuration files into .stack/gen/ide/
| Property | Value |
|---|---|
| Type | boolean |
| Default | false |
Example:
true
ide.vscode.enable
Generate VS Code workspace and configuration files
| Property | Value |
|---|---|
| Type | boolean |
| Default | false |
Example:
true
ide.vscode.existing-settings-path
Path to existing VS Code settings.json to merge with generated settings.
WARNING: This creates IMPURE evaluation - the file must exist at Nix evaluation time.
| Property | Value |
|---|---|
| Type | null or absolute path |
| Default | null |
ide.vscode.extensions
Recommended VS Code extension IDs
| Property | Value |
|---|---|
| Type | list of string |
| Default | [ ] |
ide.vscode.extra-folders
Additional workspace folders to include
| Property | Value |
|---|---|
| Type | list of attribute set of string |
| Default | [ ] |
ide.vscode.output-mode
Where to output VS Code settings:
| Property | Value |
|---|---|
| Type | one of "workspace", "settingsJson" |
| Default | "workspace" |
ide.vscode.settings
VS Code settings to include in the generated configuration. These take highest priority and will override any existing or generated settings.
| Property | Value |
|---|---|
| Type | attribute set of anything |
| Default | { } |
ide.vscode.workspace-name
Name for the generated .code-workspace file (without extension)
| Property | Value |
|---|---|
| Type | string |
| Default | "stackpanel" |
ide.zed.enable
Generate Zed configuration files
| Property | Value |
|---|---|
| Type | boolean |
| Default | false |
Example:
true
ide.zed.existing-settings-path
Path to existing Zed settings.json to merge with generated settings.
WARNING: This creates IMPURE evaluation - the file must exist at Nix evaluation time.
| Property | Value |
|---|---|
| Type | null or absolute path |
| Default | null |
ide.zed.extensions
Recommended Zed extension IDs
| Property | Value |
|---|---|
| Type | list of string |
| Default | [ ] |
ide.zed.output-mode
Where to output Zed settings:
| Property | Value |
|---|---|
| Type | one of "generated", "dotZed" |
| Default | "generated" |
ide.zed.settings
Zed settings to include in the generated configuration. These take highest priority and will override any existing or generated settings.
| Property | Value |
|---|---|
| Type | attribute set of anything |
| Default | { } |
ide.zed.tasks
Zed tasks to include in the generated tasks.json. Each task is an attrset with label, command, args, etc.
| Property | Value |
|---|---|
| Type | list of attribute set of anything |
| Default | [ ] |
Example:
[
{
args = [
"run"
"dev"
];
command = "bun";
label = "dev";
}
]