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>
Diffstat (limited to '')
| -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' | 
