diff options
| author | 宋文武 <iyzsong@member.fsf.org> | 2017-07-03 19:25:02 +0800 |
|---|---|---|
| committer | 宋文武 <iyzsong@member.fsf.org> | 2017-07-03 19:27:56 +0800 |
| commit | 1ec0c1f30ee93bd4224cffe0afb4be54fe8c3eb0 (patch) | |
| tree | 2deb7f5c5765fc4bd74e64689c025cc1ea2f74d8 | |
| parent | fd2d17cdae71eb8bf616d10b9fdbbda6a9d4b644 (diff) | |
gnu: xfce: Propagate search paths of 'xfce4-panel'.
* gnu/packages/xfce.scm (xfce)[native-search-paths]: New field.
| -rw-r--r-- | gnu/packages/xfce.scm | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gnu/packages/xfce.scm b/gnu/packages/xfce.scm index 101909b1e40..35c425a89c3 100644 --- a/gnu/packages/xfce.scm +++ b/gnu/packages/xfce.scm | |||
| @@ -738,6 +738,9 @@ on your desktop.") | |||
| 738 | ("xfce4-clipman-plugin" ,xfce4-clipman-plugin) | 738 | ("xfce4-clipman-plugin" ,xfce4-clipman-plugin) |
| 739 | ("xfce4-pulseaudio-plugin" ,xfce4-pulseaudio-plugin) | 739 | ("xfce4-pulseaudio-plugin" ,xfce4-pulseaudio-plugin) |
| 740 | ("xfce4-xkb-plugin" ,xfce4-xkb-plugin))) | 740 | ("xfce4-xkb-plugin" ,xfce4-xkb-plugin))) |
| 741 | (native-search-paths | ||
| 742 | ;; For finding panel plugins. | ||
| 743 | (package-native-search-paths xfce4-panel)) | ||
| 741 | (home-page "http://www.xfce.org/") | 744 | (home-page "http://www.xfce.org/") |
| 742 | (synopsis "Desktop environment (meta-package)") | 745 | (synopsis "Desktop environment (meta-package)") |
| 743 | (description | 746 | (description |