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 stringDefault
{ }Example
declared in: <home-manager/modules/programs/dbeaver.nix>source unavailable{ "org.jkiss.dbeaver.core" = { "ui.showSystemObjects" = "false"; "ui.showUtilityObjects" = "false"; }; "org.jkiss.dbeaver.model" = { "read.expiration.period" = "10000"; }; }