diff options
author | Evan Welsh <contact@evanwelsh.com> | 2021-08-20 20:42:27 -0500 |
---|---|---|
committer | Marge Bot <marge-bot@gnome.org> | 2021-09-01 14:55:47 +0000 |
commit | 0d8e0025d6688d845a8631f6bff3964b968d7c3b (patch) | |
tree | 62a72f5c03d7eb9e95ed0256c962733123721326 /.jscheckignore | |
parent | ef70364e8102caf9d91c48881fc6361c4f344a44 (diff) | |
download | gnome-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-- | .jscheckignore | 1 |
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 |