Commit d037d064 authored by Richard Glosner's avatar Richard Glosner
Browse files

Merge branch 'COPY-54b921fe' into 'main' 

[COPY]-internal-fix: use correct arguments for sed command based on the toolchain version

See merge request inject/inject-docs!174
parents f30e492c 8e7ffb52

docs/changelog.md

+8 −0
Original line number Diff line number Diff line
@@ -18,6 +18,14 @@ ______________________________________________________________________ 


## 4.0.1 (Frontend)



- toolbar moved to the right side in the trainee view for better accessibility

- fixed an issue where the email overlay in instructor view would close unexpectedly

- added information about the recipients for emails in the instructor TODO-list

- when switching between teams in instructor view, the same page now remains selected

    (e.g., emails, questionnaires)



## 4.0.1 (Frontend)



- toolbar moved to the right side in the trainee view for better accessibility

- fixed an issue where the email overlay in instructor view would close unexpectedly

- added information about the recipients for emails in the instructor TODO-list

format.sh

+9 −2
Original line number Diff line number Diff line 
#!/usr/bin/env bash

mdformat README.md ./docs --no-validate --number



# the formatter replaces '---' with the '______...' but it is required to stay due to mkdocs yaml directives

# Check for toolchain version of 'sed'

# The formatter replaces '---' with the '______...' but this is required to stay due to mkdocs yaml directives

if sed --version 2>/dev/null | grep -q 'GNU'; then

  # GNU sed (Linux)

  find ./docs -type f -name "*.md" -exec sed -i 's/^______________________________________________________________________$/---/' {} +

else

  # Assumed BSD sed (macOS, FreeBSD, etc.)

  find ./docs -type f -name "*.md" -exec sed -i '' 's/^______________________________________________________________________$/---/' {} +

fi