AdaCore
diff --git a/‎testsuite/shell/get-extension-settings.py renamed to ‎testsuite/settings-doc/get-extension-settings.py b/‎testsuite/shell/get-extension-settings.py renamed to ‎testsuite/settings-doc/get-extension-settings.py
diff --git a/‎testsuite/shell/test.sh renamed to ‎testsuite/settings-doc/test.sh b/‎testsuite/shell/test.sh renamed to ‎testsuite/settings-doc/test.sh
diff --git a/‎testsuite/settings-doc/test.yaml
Lines changed: 7 additions & 0 deletions b/‎testsuite/settings-doc/test.yaml
Lines changed: 7 additions & 0 deletions
diff --git a/‎testsuite/shell/test.yaml
Lines changed: 0 additions & 5 deletions b/‎testsuite/shell/test.yaml
Lines changed: 0 additions & 5 deletions
@@ -0,0 +1,7 @@
+# This test checks that all settings declared in the extension's package.json
+# have a corresponding entry in the settings documentation.
+driver: shell
+title: 'settings_docs'
+# Test only on Linux, since it depends on `bash` and `diff`
+skip:
+    - ['SKIP', 'env.build.os.name != "linux"']