diff options
author | pacien | 2022-11-15 01:13:10 +0100 |
---|---|---|
committer | pacien | 2022-11-15 01:13:10 +0100 |
commit | ad128888c912ecde57b3e3adcf4170f13dcc9d01 (patch) | |
tree | 657125af7c382a4479c563a41a95fac4f2dda686 | |
parent | 2583ea10b3b1ee87bc086a952a0fc3fe26521217 (diff) | |
download | flaky-utils-ad128888c912ecde57b3e3adcf4170f13dcc9d01.tar.gz |
lib/shell.fmt: reduce header spacing
-rw-r--r-- | lib/shell.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/shell.nix b/lib/shell.nix index e6ba22c..e984a05 100644 --- a/lib/shell.nix +++ b/lib/shell.nix | |||
@@ -12,7 +12,7 @@ let | |||
12 | codeBlock = code: text: ''"\e[${code}m"${escapeShellArg text}"\e[0m"''; | 12 | codeBlock = code: text: ''"\e[${code}m"${escapeShellArg text}"\e[0m"''; |
13 | keyword = codeBlock "1;36"; | 13 | keyword = codeBlock "1;36"; |
14 | section = codeBlock "4;35"; | 14 | section = codeBlock "4;35"; |
15 | printSectionTitle = title: ''echo -e "\n\n"${section title}"\n"''; | 15 | printSectionTitle = title: ''echo -e "\n"${section title}''; |
16 | }; | 16 | }; |
17 | 17 | ||
18 | in rec { | 18 | in rec { |