programs.dbeaver.settings

Home-Manager option

attribute set of attribute set of string

DBeaver workspace preferences. Each attribute set key corresponds to a preferences file name (without the .prefs extension) under General/.settings/ in the DBeaver workspace. Each value is a set of key-value preference entries. Files are generated with an eclipse.preferences.version=1 header as required by the Eclipse platform. Common plugin IDs include org.jkiss.dbeaver.core, org.jkiss.dbeaver.model, and org.jkiss.dbeaver.ui. For examples: https://dbeaver.com/docs/dbeaver/Admin-Manage-Preferences/

type: attribute set of attribute set of string
Default
{ }
Example
{ "org.jkiss.dbeaver.core" = { "ui.showSystemObjects" = "false"; "ui.showUtilityObjects" = "false"; }; "org.jkiss.dbeaver.model" = { "read.expiration.period" = "10000"; }; }
declared in: <home-manager/modules/programs/dbeaver.nix>source unavailable