Erfolgreichen Linter-Run in Moodle übernehmen

Die Lernenden müssen Ihren GitHub-Benutzernamen in ihrem Moodle-Profil eintragen. Unter “Weitere Namen” befindet sich das Feld “Pseudonym”.

  1. Öffne das Repository mit dem Template für das Assignment.
  2. Erstelle die Ordner .github/linters und .github/workflows.
  3. Erstelle die Datei report-to-moodle.yml in .github/workflows.
    name: Report to Moodle Workflow incl Linter
     
    on:
      push:
        branches: [ "main" ]
      pull_request:
        branches: [ "main" ]
     
    permissions:
      checks: write
      actions: read
      contents: read
     
    jobs:
      run-lint:
        if: ${{ !contains(github.actor, 'classroom') }}
        name: Lint the Code which is committed
        runs-on: ubuntu-latest
        steps:
          - name: Checkout code
            uses: actions/checkout@v3
            with:
              # Full git history is needed to get a proper list of changed files within `super-linter`
              fetch-depth: 0
          - name: Lint Code Base
            uses: super-linter/super-linter/slim@v5
            env:
              VALIDATE_ALL_CODEBASE: true
              DEFAULT_BRANCH: "main"
              GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
      report-to-moodle:
        needs: run-lint
        if: ${{ !contains(github.actor, 'classroom') }}
        name: Report to Moodle that Linter was successfully
        runs-on: ubuntu-latest
        steps:
          - name: Call FGIT-API and send points to Moodle
            if: always()
            run: |
              curl -X POST "https://it.bzz.ch/fgitapi/gh_grade/${{ github.repository }}/2/2"
  4. Erstelle die Datei .htmlhintrc in .github/linters.
    {
      "doctype-first": true,
      "doctype-html5": true,
      "html-lang-require": true,
      "head-script-disabled": true,
      "style-disabled": true,
      "script-disabled": true,
      "attr-lowercase": true,
      "attr-no-duplication": true,
      "attr-no-unnecessary-whitespace": true,
      "attr-unsafe-chars": true,
      "attr-value-double-quotes": true,
      "attr-value-single-quotes": false,
      "attr-value-not-empty": false,
      "attr-sorted": false,
      "attr-whitespace": true,
      "alt-require": true,
      "input-requires-label": true,
      "tags-check": false,
      "tag-pair": true,
      "tag-self-close": false,
      "tagname-lowercase": true,
      "tagname-specialchars": true,
      "empty-tag-not-self-closed": false,
      "src-not-empty": true,
      "href-abs-or-rel": false,
      "id-class-ad-disabled": true,
      "id-class-value": "dash",
      "id-unique": true,
      "inline-script-disabled": true,
      "inline-style-disabled": true,
      "space-tab-mixed-disabled": "space",
      "spec-char-escape": true
    }
  1. Erstelle ein neues Assignment in GitHub Classroom.
    • Der Name des Assignments darf keinen Bindestrich enthalten.
    • Merke dir den Namen des Assignments, z.B. “m319_lU08_a01_multiply”.
    • Wähle das Template aus dem letzten Abschnitt aus.
  1. Erstelle eine Aufgabe in Moodle.
  2. Trage den Namen des Classroom Assignments unter “Weitere Einstellungen” ⇒ “ID-Nummer” ein.
  • howto/git/grading/linter.txt
  • Last modified: 2024/03/28 14:07
  • by 127.0.0.1