1
# These are the options for the greeter session that can be set
2
# through GSettings. Any GSettings setting that is used by the
3
# greeter session can be set here.
8
# - Change the GTK+ theme
9
# [org.gnome.desktop.interface]
11
# - Use another background
12
# [org.gnome.desktop.background]
13
# picture-uri='file:///usr/share/themes/Adwaita/backgrounds/stripes.jpg'
14
# picture-options='zoom'
15
# - Or no background at all
16
# [org.gnome.desktop.background]
17
# picture-options='none'
18
# primary-color='#000000'
20
# Greeter session choice
21
# ======================
22
# Use 'gdm-shell' for the GNOME Shell version.
23
# Never use anything not starting with 'gdm-'.
24
# [org.gnome.desktop.session]
25
# session-name='gdm-fallback'
26
# session-name='gdm-shell'
28
# Login manager options
29
# =====================
30
# [org.gnome.login-screen]
31
# logo='/usr/share/icons/gnome/48x48/places/debian-swirl.png'
32
# fallback-logo='/usr/share/icons/gnome/48x48/places/debian-swirl.png'
35
# disable-user-list=true
36
# - Disable restart buttons
37
# disable-restart-buttons=true
38
# - Show a login welcome message
39
# banner-message-enable=true
40
# banner-message-text='Welcome'
42
# Prevent the power management icon from showing up
43
# [org.gnome.power-manager]
46
# Disabling sound in the greeter
47
#[org.gnome.desktop.sound]
50
# The metacity compositor doesn’t go well with the greeter
52
# [org.gnome.metacity]
53
# compositing-manager=false
added
removed
debian/greeter.gsettings
