Switch linter

JabRef · Oct 23, 2023 · ae9a9ce · ae9a9ce
1 parent 4a718ff
commit ae9a9ce
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 8 deletions.
diff --git a/.github/workflows/lint.yaml b/.github/workflows/lint.yaml
@@ -5,9 +5,10 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Set up Git repository
-        uses: actions/checkout@v2
-      - name: Lint all files
-        uses: avto-dev/markdown-lint@v1
+        uses: actions/checkout@v4
         with:
-          args: 'README.md'
-          config: '.markdownlint.yml'
+          show-progress: ''
+      - uses: xt0rted/markdownlint-problem-matcher@v2
+      - run: |
+          npm install -g markdownlint-cli
+          markdownlint **/*.md --ignore node_modules
diff --git a/en/installation.md b/en/installation.md
@@ -22,8 +22,8 @@ Download it from [downloads.jabref.org](https://downloads.jabref.org). These are
 
 * for Windows `JabRef.exe`.
 * for Linux
-    - either run`bin/JabRef`
-    - or `/lib/runtime/bin/JabRef`.
+    * either run`bin/JabRef`
+    * or `/lib/runtime/bin/JabRef`.
 * for Mac, this is the file `JabRef.app`.
 
 Be sure to activate "Load and Save preferences from/to jabref.xml on start-up (memory stick mode)" in Options → Preferences → General.
@@ -103,7 +103,7 @@ You might need to install an additional font for JabRef to display characters co
 
 #### Submenus from the menu bar close immediately after left click is let go of if the menu bar was clicked in its top half
 
-This issue seems to be related to this [JavaFX bug](https://bugs.openjdk.org/browse/JDK-8251240). A temporary workaround is to click the menu bar in its lower half. To fix the issue permanently set the following system property: ```java -Djdk.gtk.version=2```. This can be done globally by adding ```_JAVA_OPTIONS="-Djdk.gtk.version=2"``` to ```/etc/environment```.  It can also be set locally by editing `JabRef.cfg` in your installation folder (possibly located at `/opt/JabRef/lib/app/JabRef.cfg`) and add the line `-Djdk.gtk.version=2` in the `[JavaOptions]` section. 
+This issue seems to be related to this [JavaFX bug](https://bugs.openjdk.org/browse/JDK-8251240). A temporary workaround is to click the menu bar in its lower half. To fix the issue permanently set the following system property: ```java -Djdk.gtk.version=2```. This can be done globally by adding ```_JAVA_OPTIONS="-Djdk.gtk.version=2"``` to ```/etc/environment```. It can also be set locally by editing `JabRef.cfg` in your installation folder (possibly located at `/opt/JabRef/lib/app/JabRef.cfg`) and add the line `-Djdk.gtk.version=2` in the `[JavaOptions]` section.
 
 {% endtab %}