From f75ff86fc0204cdca38d63211eeb0cbaaeb5797f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Ekl=C3=B6f?= <daniel@ekloef.se>
Date: Mon, 16 Nov 2020 20:04:12 +0100
Subject: [PATCH] install: add --attr-{bold,italic,underline} to
 generate-alt-random-writes

---
 INSTALL.md | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/INSTALL.md b/INSTALL.md
index d18eecdd..0282675e 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -210,6 +210,9 @@ tmp_file=$(mktemp)
     --colors-bright \
     --colors-256 \
     --colors-rgb \
+    --attr-bold \
+    --attr-italic \
+    --attr-underline \
     ${tmp_file}
 ./pgo ${tmp_file} ${tmp_file} ${tmp_file} ${tmp_file} ${tmp_file} ${tmp_file}
 rm ${tmp_file}
@@ -234,7 +237,7 @@ We will use the script `scripts/generate-alt-random-writes.py`:
 
 ```sh
 foot_tmp_file=$(mktemp)
-./foot --config=/dev/null --term=xterm sh -c "<path-to-generate-alt-random-writes.py> --scroll --scroll-region --colors-regular --colors-bright --colors-256 --colors-rgb ${foot_tmp_file} && cat ${foot_tmp_file}"
+./foot --config=/dev/null --term=xterm sh -c "<path-to-generate-alt-random-writes.py> --scroll --scroll-region --colors-regular --colors-bright --colors-256 --colors-rgb --attr-bold --attr-italic --attr-underline ${foot_tmp_file} && cat ${foot_tmp_file}"
 rm ${foot_tmp_file}
 ```