Puppet Class: adapta_gtk_theme::config
- Inherits:
- adapta_gtk_theme::params
- Defined in:
- manifests/config.pp
Overview
adapta_gtk_theme::config
Configures the adapta theme and Roboto font as system defaults
7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 |
# File 'manifests/config.pp', line 7
class adapta_gtk_theme::config (
String $font_package_ensure = $adapta_gtk_theme::params::font_package_ensure,
String $theme_package_ensure = $adapta_gtk_theme::params::theme_package_ensure,
) inherits adapta_gtk_theme::params {
if ($theme_package_ensure == 'absent') or ($theme_package_ensure == 'purged') {
gnome::gsettings { 'org.gnome.desktop.wm.preferences_theme':
schema => 'org.gnome.desktop.wm.preferences',
key => 'theme',
value => '"Ambiance"',
}
gnome::gsettings { 'org.gnome.desktop.interface_gtk-theme':
schema => 'org.gnome.desktop.interface',
key => 'gtk-theme',
value => '"Ambiance"',
}
} else {
gnome::gsettings { 'org.gnome.desktop.wm.preferences_theme':
schema => 'org.gnome.desktop.wm.preferences',
key => 'theme',
value => '"Adapta"',
require => Package['adapta-gtk-theme'],
}
gnome::gsettings { 'org.gnome.desktop.interface_gtk-theme':
schema => 'org.gnome.desktop.interface',
key => 'gtk-theme',
value => '"Adapta"',
require => Package['adapta-gtk-theme'],
}
}
if ($font_package_ensure == 'absent') or ($font_package_ensure == 'purged') {
gnome::gsettings { 'org.gnome.desktop.interface_document-font-name':
schema => 'org.gnome.desktop.interface',
key => 'document-font-name',
value => '"Sans 11"',
}
gnome::gsettings { 'org.gnome.desktop.interface_font-name':
schema => 'org.gnome.desktop.interface',
key => 'font-name',
value => '"Ubuntu 11"',
}
gnome::gsettings { 'org.gnome.desktop.interface_monospace-font-name':
schema => 'org.gnome.desktop.interface',
key => 'monospace-font-name',
value => '"Ubuntu Mono 13"',
}
gnome::gsettings { 'org.gnome.desktop.wm.preferences_titlebar-font':
schema => 'org.gnome.desktop.wm.preferences',
key => 'titlebar-font',
value => '"Ubuntu Bold 11"',
}
} else {
gnome::gsettings { 'org.gnome.desktop.interface_document-font-name':
schema => 'org.gnome.desktop.interface',
key => 'document-font-name',
value => '"Roboto 10"',
require => Package['fonts-roboto'],
}
gnome::gsettings { 'org.gnome.desktop.interface_font-name':
schema => 'org.gnome.desktop.interface',
key => 'font-name',
value => '"Roboto 10"',
require => Package['fonts-roboto'],
}
gnome::gsettings { 'org.gnome.desktop.interface_monospace-font-name':
schema => 'org.gnome.desktop.interface',
key => 'monospace-font-name',
value => '"Ubuntu Mono 11"',
require => Package['fonts-roboto'],
}
gnome::gsettings { 'org.gnome.desktop.wm.preferences_titlebar-font':
schema => 'org.gnome.desktop.wm.preferences',
key => 'titlebar-font',
value => '"Roboto Bold 10"',
require => Package['fonts-roboto'],
}
}
}
|