commit 5f6288eb38a9f52480c124381ace6e2125f21027
parent 0837556c21869b36dba23d19c0e882a82be56106
Author: Jan Klemkow <j.klemkow@wemelug.de>
Date: Thu, 20 Nov 2025 22:49:46 +0100
filter/indent: dim the color of meta data lines
Diffstat:
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/filter/indent.c b/filter/indent.c
@@ -10,6 +10,7 @@
#define color1 34
#define color2 33
#define color3 35
+#define color4 2 /* meta data */
int
main(void)
@@ -30,7 +31,7 @@ main(void)
next++; /* skip space */
if (next == NULL || next[0] == '-' || time == 0) {
- fputs(buf, stdout);
+ printf("\033[%dm%s\033[m", color4, buf);
fflush(stdout);
continue;
}