Skip to content

Commit

Permalink
feat: add option to set devshell message width
Browse files Browse the repository at this point in the history
  • Loading branch information
deemp committed Jan 17, 2024
1 parent 9336aa8 commit 685be77
Showing 1 changed file with 9 additions and 0 deletions.
9 changes: 9 additions & 0 deletions modules/devshell.nix
Original file line number Diff line number Diff line change
Expand Up @@ -351,6 +351,14 @@ in
menu = mkOption {
type = types.submodule {
options.interpolate = mkEnableOption "interpolation in the devshell menu";
options.width = mkOption {
type = types.numbers.positive;
default = 75;
description = ''
Width of the devshell message.
'';
example = 75;
};
};
default = { };
description = ''
Expand All @@ -359,6 +367,7 @@ in
example = literalExpression ''
{
interpolate = true;
width = 75;
}
'';
};
Expand Down

0 comments on commit 685be77

Please sign in to comment.