When evaluating bash shell scripts, the feedback displays the name of the script based on the namespace set in the test suite, but the tests are actually run with a file that has an extra .sh prefix. Both names should be made consistent for shell scripts that actually fetch their name from $0.
When evaluating
bashshell scripts, the feedback displays the name of the script based on thenamespaceset in the test suite, but the tests are actually run with a file that has an extra.shprefix. Both names should be made consistent for shell scripts that actually fetch their name from$0.Example: https://dodona.be/nl/submissions/16093508/