···

       
28
       
28
       
 
       


     

       
29
       
29
       
 
       
  libsForQt5 = pkgs.plasma5Packages;

     

       
30
       
30
       
 
       
  inherit (libsForQt5) kdeGear kdeFrameworks plasma5;

     

       
31
       
31
       
-
       
  inherit (pkgs) writeText;

     

       
32
       
31
       
 
       
  inherit (lib)

     

       
33
       
32
       
 
       
    getBin optionalString literalExpression

     

       
34
       
33
       
 
       
    mkRemovedOptionModule mkRenamedOptionModule

     

       
35
       
34
       
 
       
    mkDefault mkIf mkMerge mkOption mkPackageOptionMD types;

     

       
36
       
35
       
 
       


     

       
37
       
37
       
-
       
  ini = pkgs.formats.ini { };

     

       
38
       
38
       
-
       


     

       
39
       
39
       
-
       
  gtkrc2 = writeText "gtkrc-2.0" ''

     

       
40
       
40
       
-
       
    # Default GTK+ 2 config for NixOS Plasma 5

     

       
41
       
41
       
-
       
    include "/run/current-system/sw/share/themes/Breeze/gtk-2.0/gtkrc"

     

       
42
       
42
       
-
       
    style "user-font"

     

       
43
       
43
       
-
       
    {

     

       
44
       
44
       
-
       
      font_name="Sans Serif Regular"

     

       
45
       
45
       
-
       
    }

     

       
46
       
46
       
-
       
    widget_class "*" style "user-font"

     

       
47
       
47
       
-
       
    gtk-font-name="Sans Serif Regular 10"

     

       
48
       
48
       
-
       
    gtk-theme-name="Breeze"

     

       
49
       
49
       
-
       
    gtk-icon-theme-name="breeze"

     

       
50
       
50
       
-
       
    gtk-fallback-icon-theme="hicolor"

     

       
51
       
51
       
-
       
    gtk-cursor-theme-name="breeze_cursors"

     

       
52
       
52
       
-
       
    gtk-toolbar-style=GTK_TOOLBAR_ICONS

     

       
53
       
53
       
-
       
    gtk-menu-images=1

     

       
54
       
54
       
-
       
    gtk-button-images=1

     

       
55
       
55
       
-
       
  '';

     

       
56
       
56
       
-
       


     

       
57
       
57
       
-
       
  gtk3_settings = ini.generate "settings.ini" {

     

       
58
       
58
       
-
       
    Settings = {

     

       
59
       
59
       
-
       
      gtk-font-name = "Sans Serif Regular 10";

     

       
60
       
60
       
-
       
      gtk-theme-name = "Breeze";

     

       
61
       
61
       
-
       
      gtk-icon-theme-name = "breeze";

     

       
62
       
62
       
-
       
      gtk-fallback-icon-theme = "hicolor";

     

       
63
       
63
       
-
       
      gtk-cursor-theme-name = "breeze_cursors";

     

       
64
       
64
       
-
       
      gtk-toolbar-style = "GTK_TOOLBAR_ICONS";

     

       
65
       
65
       
-
       
      gtk-menu-images = 1;

     

       
66
       
66
       
-
       
      gtk-button-images = 1;

     

       
67
       
67
       
-
       
    };

     

       
68
       
68
       
-
       
  };

     

       
69
       
69
       
-
       


     

       
70
       
70
       
-
       
  kcminputrc = ini.generate "kcminputrc" {

     

       
71
       
71
       
-
       
    Mouse = {

     

       
72
       
72
       
-
       
      cursorTheme = "breeze_cursors";

     

       
73
       
73
       
-
       
      cursorSize = 0;

     

       
74
       
74
       
-
       
    };

     

       
75
       
75
       
-
       
  };

     

       
76
       
76
       
-
       


     

       
77
       
36
       
 
       
  activationScript = ''

     

       
78
       
37
       
 
       
    ${set_XDG_CONFIG_HOME}

     

       
79
       
38
       
 
       


     
···

       
117
       
76
       
 
       
    # expected to set the default themselves.

     

       
118
       
77
       
 
       
    # 2. Contaminate / if $HOME is unset; do not check if $HOME is set.

     

       
119
       
78
       
 
       
    XDG_CONFIG_HOME=''${XDG_CONFIG_HOME:-$HOME/.config}

     

       
120
       
120
       
-
       
  '';

     

       
121
       
121
       
-
       


     

       
122
       
122
       
-
       
  startplasma = ''

     

       
123
       
123
       
-
       
    ${set_XDG_CONFIG_HOME}

     

       
124
       
124
       
-
       
    mkdir -p "''${XDG_CONFIG_HOME}"

     

       
125
       
125
       
-
       
  '' + optionalString config.hardware.pulseaudio.enable ''

     

       
126
       
126
       
-
       
    # Load PulseAudio module for routing support.

     

       
127
       
127
       
-
       
    # See also: http://colin.guthr.ie/2009/10/so-how-does-the-kde-pulseaudio-support-work-anyway/

     

       
128
       
128
       
-
       
      ${getBin config.hardware.pulseaudio.package}/bin/pactl load-module module-device-manager "do_routing=1"

     

       
129
       
129
       
-
       
  '' + ''

     

       
130
       
130
       
-
       
    ${activationScript}

     

       
131
       
131
       
-
       


     

       
132
       
132
       
-
       
    # Create default configurations if Plasma has never been started.

     

       
133
       
133
       
-
       
    kdeglobals="''${XDG_CONFIG_HOME}/kdeglobals"

     

       
134
       
134
       
-
       
    if ! [ -f "$kdeglobals" ]; then

     

       
135
       
135
       
-
       
      kcminputrc="''${XDG_CONFIG_HOME}/kcminputrc"

     

       
136
       
136
       
-
       
      if ! [ -f "$kcminputrc" ]; then

     

       
137
       
137
       
-
       
          cat ${kcminputrc} >"$kcminputrc"

     

       
138
       
138
       
-
       
      fi

     

       
139
       
139
       
-
       


     

       
140
       
140
       
-
       
      gtkrc2="$HOME/.gtkrc-2.0"

     

       
141
       
141
       
-
       
      if ! [ -f "$gtkrc2" ]; then

     

       
142
       
142
       
-
       
          cat ${gtkrc2} >"$gtkrc2"

     

       
143
       
143
       
-
       
      fi

     

       
144
       
144
       
-
       


     

       
145
       
145
       
-
       
      gtk3_settings="''${XDG_CONFIG_HOME}/gtk-3.0/settings.ini"

     

       
146
       
146
       
-
       
      if ! [ -f "$gtk3_settings" ]; then

     

       
147
       
147
       
-
       
          mkdir -p "$(dirname "$gtk3_settings")"

     

       
148
       
148
       
-
       
          cat ${gtk3_settings} >"$gtk3_settings"

     

       
149
       
149
       
-
       
      fi

     

       
150
       
150
       
-
       
    fi

     

       
151
       
79
       
 
       
  '';

     

       
152
       
80
       
 
       


     

       
153
       
81
       
 
       
in

     
···

       
474
       
402
       
 
       


     

       
475
       
403
       
 
       
      # Update the start menu for each user that is currently logged in

     

       
476
       
404
       
 
       
      system.userActivationScripts.plasmaSetup = activationScript;

     

       
477
       
477
       
-
       
      services.xserver.displayManager.setupCommands = startplasma;

     

       
478
       
405
       
 
       


     

       
479
       
406
       
 
       
      nixpkgs.config.firefox.enablePlasmaBrowserIntegration = true;

     

       
480
       
407
       
 
       
    })