1
0
Fork 0

Merge branch 'main' into inheritedwidget

inheritedwidget
Jonas Franz 2 years ago
commit 4949451f80
  1. 8
      .drone.yml
  2. 13
      headers.sh
  3. 1
      template.tex

@ -96,9 +96,13 @@ steps:
depends_on:
- generate_metrics
commands:
- pandoc -s metrics/index.html -o metrics.tex
- pandoc --template template.tex -s metrics/index.html -o metrics.tex
- 'sed "s/All files/Metriken: ${DRONE_COMMIT_BRANCH}/g" > tmp; mv tmp metrics.tex'
- 'sed "s/all-files/metrics:${DRONE_COMMIT_BRANCH}/g" > tmp; mv tmp metrics.tex'
- apk --no-cache add bash sed
- bash /app/headers.sh
###### PUBLISHING
###### PUBLISHING
- name: pull_and_prepare_thesis_repo
image: docker:git
depends_on:

@ -0,0 +1,13 @@
#! /bin/bash
VERTICAL_HEADERS=(
"Cyclomatic complexity"
"Source lines of code"
"Maintainability index"
"Number of Arguments"
"Maximum Nesting"
"Technical Debt"
)
for header in "${VERTICAL_HEADERS[@]}"; do
sed -z "s/$header/\\\rot{$header}/g" metrics.tex > tmp; mv tmp metrics.tex
done

@ -0,0 +1 @@
$body$
Loading…
Cancel
Save