/usr/share/gnome-shell/js/misc/config.js is in gnome-shell-common 3.4.1-0ubuntu2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 | // -*- mode: js; js-indent-level: 4; indent-tabs-mode: nil -*-
/* The name of this package (not localized) */
const PACKAGE_NAME = 'gnome-shell';
/* The version of this package */
const PACKAGE_VERSION = '3.4.1';
/* The version of GJS we're linking to */
const GJS_VERSION = '1.32.0';
/* 1 if gnome-bluetooth is available, 0 otherwise */
const HAVE_BLUETOOTH = 1;
/* The system TLS CA list */
const SHELL_SYSTEM_CA_FILE = '/etc/ssl/certs/ca-certificates.crt';
/* gettext package */
const GETTEXT_PACKAGE = 'gnome-shell';
/* locale dir */
const LOCALEDIR = '/usr/share/locale';
/* other standard directories */
const LIBEXECDIR = '/usr/lib/gnome-shell';
const SYSCONFDIR = '/etc';
|