d6b605e801
We might remove it completely this cycle, but till then we certainly want
to disable it by default regardless
Mirror change of gnome-session [1]
[1] 21f10a9eda
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/399>
29 lines
643 B
Plaintext
29 lines
643 B
Plaintext
# SPDX-FileCopyrightText: 2017 Florian Müllner <fmuellner@gnome.org>
|
|
#
|
|
# SPDX-License-Identifier: GPL-2.0-or-later
|
|
|
|
option('extension_set',
|
|
type: 'combo',
|
|
choices: ['classic', 'default', 'all'],
|
|
value: 'default',
|
|
description: 'Predefined sets of extensions'
|
|
)
|
|
|
|
option('enable_extensions',
|
|
type: 'array',
|
|
value: [],
|
|
description: 'Comma separated list of extensions to enable instead of a predefined set.'
|
|
)
|
|
|
|
option('classic_mode',
|
|
type: 'boolean',
|
|
value: false,
|
|
description: 'Enable installing data files for classic mode.'
|
|
)
|
|
|
|
option('x11',
|
|
type: 'boolean',
|
|
value: false,
|
|
description: 'Enable X11 session support.'
|
|
)
|