diff options
author | Florian Müllner <fmuellner@gnome.org> | 2019-01-27 01:15:31 +0100 |
---|---|---|
committer | Georges Basile Stavracas Neto <georges.stavracas@gmail.com> | 2019-07-12 16:01:07 +0000 |
commit | 4c0bd88a2c566b2f3f9744972b6dd10d06a00b2b (patch) | |
tree | 0678a009cf1cd8de599acd953ea14a6a0fd1d568 /lint | |
parent | 3731be9947960368c028afdd3cd7fb682625041b (diff) | |
download | gnome-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.json | 15 |
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 + } + } + ] +} |