summaryrefslogtreecommitdiff
path: root/lint
diff options
context:
space:
mode:
authorFlorian Müllner <fmuellner@gnome.org>2019-01-27 01:15:31 +0100
committerGeorges Basile Stavracas Neto <georges.stavracas@gmail.com>2019-07-12 16:01:07 +0000
commit4c0bd88a2c566b2f3f9744972b6dd10d06a00b2b (patch)
tree0678a009cf1cd8de599acd953ea14a6a0fd1d568 /lint
parent3731be9947960368c028afdd3cd7fb682625041b (diff)
downloadgnome-shell-4c0bd88a2c566b2f3f9744972b6dd10d06a00b2b.tar.gz
lint: Tweak the whitelist of globals
gjs doesn't include any gettext wrappers, and obviously can't know about the shell's global object, so include those in the list of globals for all sources in the gnome-shell context. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/609
Diffstat (limited to 'lint')
-rw-r--r--lint/eslintrc-shell.json15
1 files changed, 15 insertions, 0 deletions
diff --git a/lint/eslintrc-shell.json b/lint/eslintrc-shell.json
new file mode 100644
index 000000000..f59417c44
--- /dev/null
+++ b/lint/eslintrc-shell.json
@@ -0,0 +1,15 @@
+{
+ "overrides": [
+ {
+ "files": "js/**",
+ "excludedFiles": ["js/extensionPrefs/*", "js/portalHelper/*"],
+ "globals": {
+ "global": false,
+ "_": false,
+ "C_": false,
+ "N_": false,
+ "ngettext": false
+ }
+ }
+ ]
+}