diff options
author | Mattias Andrée <maandree@kth.se> | 2021-03-25 15:31:16 +0100 |
---|---|---|
committer | Mattias Andrée <maandree@kth.se> | 2021-03-25 15:31:16 +0100 |
commit | 05deffed427051e275a2b14a3de63632f427ddb3 (patch) | |
tree | f9c5e87cc2ece2b27775c9124d2a31a54114697a | |
parent | fixes (diff) | |
download | mongotimer-05deffed427051e275a2b14a3de63632f427ddb3.tar.gz mongotimer-05deffed427051e275a2b14a3de63632f427ddb3.tar.bz2 mongotimer-05deffed427051e275a2b14a3de63632f427ddb3.tar.xz |
Fix font bug1.1.1
Signed-off-by: Mattias Andrée <maandree@kth.se>
-rwxr-xr-x | digit.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -222,7 +222,7 @@ digit() { printf 'static const char *mongo_%s[] = {\n' "$1" digit "$1" | \ - sed -e 's/X/ /g' -e 's/\[/\\033\[7m /g' -e 's/\]/\\033\[27m /g' | \ + sed -e 's/X/ /g' -e 's/\[/\\033\[7m /g' -e 's/\]/ \\033\[27m/g' | \ sed -e 's/^/"/' -e 's/$/",/' | \ sed '$s/,$//' printf '};\n' |