From ef11f77c8f5f5b91f0a35c425554836b9ce52a2e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jos=C3=A9=20Romildo=20Malaquias?= Date: Sun, 21 Feb 2016 12:20:10 -0300 Subject: [PATCH] eclipse-plugins-cup: fix plugin file names --- pkgs/applications/editors/eclipse/plugins.nix | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/pkgs/applications/editors/eclipse/plugins.nix b/pkgs/applications/editors/eclipse/plugins.nix index 40aa6b8385ec..40585f95013a 100644 --- a/pkgs/applications/editors/eclipse/plugins.nix +++ b/pkgs/applications/editors/eclipse/plugins.nix @@ -240,7 +240,8 @@ rec { mkdir -p $dropinDir/features unzip ${srcFeature} -d $dropinDir/features/ mkdir -p $dropinDir/plugins - cp -v ${srcPlugin1} ${srcPlugin2} $dropinDir/plugins/ + cp -v ${srcPlugin1} $dropinDir/plugins/''${srcPlugin1#*-} + cp -v ${srcPlugin2} $dropinDir/plugins/''${srcPlugin2#*-} ''; meta = with stdenv.lib; {