1
0
mirror of https://github.com/nix-community/home-manager synced 2024-06-06 15:03:33 +02:00

eclipse: add option package

PR #1310
This commit is contained in:
Shamrock Lee 2020-06-08 08:35:28 +08:00 committed by Robert Helgesson
parent a3cb63265d
commit 561b3d5650
No known key found for this signature in database
GPG Key ID: 36BDAA14C2797E89

View File

@ -13,6 +13,16 @@ in {
programs.eclipse = {
enable = mkEnableOption "Eclipse";
package = mkOption {
type = types.package;
default = pkgs.eclipses.eclipse-platform;
defaultText = literalExample "pkgs.eclipses.eclipse-platform";
example = literalExample "pkgs.eclipses.eclipse-java";
description = ''
The Eclipse package to install.
'';
};
enableLombok = mkOption {
type = types.bool;
default = false;
@ -40,7 +50,7 @@ in {
config = mkIf cfg.enable {
home.packages = [
(pkgs.eclipses.eclipseWithPlugins {
eclipse = pkgs.eclipses.eclipse-platform;
eclipse = cfg.package;
jvmArgs = cfg.jvmArgs ++ optional cfg.enableLombok
"-javaagent:${pkgs.lombok}/share/java/lombok.jar";
plugins = cfg.plugins;