Make note "not graded" optional for linters

This commit is contained in:
Sebastian Serth
2020-11-09 21:19:24 +01:00
parent 69db6f98cf
commit 84c291626f
3 changed files with 10 additions and 3 deletions

View File

@ -387,7 +387,8 @@ de:
messages: Meldungen
feedback: Feedback
test_file: 'Test-Datei <span class="number">%{number}</span> (<span class="filename">%{filename}</span>)'
linter_file: 'Linter-Feedback (ohne Punkte)<span class="number d-none">%{number}</span><span class="filename d-none">%{filename}</span>'
linter_file: 'Linter-Feedback <span class="number d-none">%{number}</span>(<span class="filename">%{filename}</span>)'
not_graded: ohne Punkte
hint: Hinweis
no_files: Die Aufgabe umfasst noch keine sichtbaren Dateien.
no_output: Die letzte Code-Ausführung terminierte am %{timestamp} ohne Ausgabe.

View File

@ -387,7 +387,8 @@ en:
messages: Messages
feedback: Feedback
test_file: 'Test File <span class="number">%{number}</span> (<span class="filename">%{filename}</span>)'
linter_file: 'Linter Feedback (not graded)<span class="number d-none">%{number}</span><span class="filename d-none">%{filename}</span>'
linter_file: 'Linter Feedback <span class="number d-none">%{number}</span>(<span class="filename">%{filename}</span>)'
not_graded: not graded
hint: Hint
no_files: The exercise does not comprise visible files yet.
no_output: The last code run finished on %{timestamp} without any output.