1
0
Fork 0
mirror of https://github.com/nix-community/home-manager synced 2024-11-23 19:49:45 +01:00

i3: add bar.extraConfig option

This commit is contained in:
Nadrieril 2019-01-14 21:22:02 +01:00 committed by Matthieu Coudron
parent f6ec26075d
commit df8a14e12a

View file

@ -104,6 +104,12 @@ let
options = { options = {
inherit (commonOptions) fonts; inherit (commonOptions) fonts;
extraConfig = mkOption {
type = types.lines;
default = "";
description = "Extra configuration lines for this bar.";
};
id = mkOption { id = mkOption {
type = types.nullOr types.string; type = types.nullOr types.string;
default = null; default = null;
@ -687,7 +693,7 @@ let
barStr = { barStr = {
id, fonts, mode, hiddenState, position, workspaceButtons, id, fonts, mode, hiddenState, position, workspaceButtons,
workspaceNumbers, command, statusCommand, colors, trayOutput, ... workspaceNumbers, command, statusCommand, colors, trayOutput, extraConfig, ...
}: '' }: ''
bar { bar {
${optionalString (id != null) "id ${id}"} ${optionalString (id != null) "id ${id}"}
@ -710,6 +716,7 @@ let
urgent_workspace ${barColorSetStr colors.urgentWorkspace} urgent_workspace ${barColorSetStr colors.urgentWorkspace}
binding_mode ${barColorSetStr colors.bindingMode} binding_mode ${barColorSetStr colors.bindingMode}
} }
${extraConfig}
} }
''; '';