summaryrefslogtreecommitdiff
path: root/.jscheckignore
diff options
context:
space:
mode:
authorEvan Welsh <contact@evanwelsh.com>2021-08-20 20:42:27 -0500
committerMarge Bot <marge-bot@gnome.org>2021-09-01 14:55:47 +0000
commit0d8e0025d6688d845a8631f6bff3964b968d7c3b (patch)
tree62a72f5c03d7eb9e95ed0256c962733123721326 /.jscheckignore
parentef70364e8102caf9d91c48881fc6361c4f344a44 (diff)
downloadgnome-shell-0d8e0025d6688d845a8631f6bff3964b968d7c3b.tar.gz
init: Set console log domain
GJS added a console module that extensions may start using. To ensure that extensions using console.log() and similar functions don't show up as 'Gjs-Console' in users' system logs, we should call setConsoleLogdomain() with 'GNOME Shell'. This GJS API addition is only accessible using ECMAScript Modules (ESM), this commit moves shell startup to a small init.js module and adapts CI jobs to either handle or ignore it. We can drop the .jscheckignore file when future versions of SpiderMonkey allow for compile checks without validating module specifiers. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1958>
Diffstat (limited to '.jscheckignore')
-rw-r--r--.jscheckignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.jscheckignore b/.jscheckignore
new file mode 100644
index 000000000..7313eb4af
--- /dev/null
+++ b/.jscheckignore
@@ -0,0 +1 @@
+js/ui/init.js \ No newline at end of file