1
0
Fork 0
Browse Source

Fix sed command

main
Jonas Franz 6 months ago
parent
commit
dfbd608f8c
  1. 2
      headers.sh

2
headers.sh

@ -9,5 +9,5 @@ VERTICAL_HEADERS=( @@ -9,5 +9,5 @@ VERTICAL_HEADERS=(
)
for header in "${VERTICAL_HEADERS[@]}"; do
sed -z "s/$header/\\\rot{$header}/g" metrics.tex > tmp; mv tmp metrics.tex
sed "/:/! s/$header/\\\rot{$header}/g" metrics.tex > tmp; mv tmp metrics.tex
done
Loading…
Cancel
Save