diff options
author | José Romildo Malaquias <malaquias@gmail.com> | 2016-02-21 12:20:10 -0300 |
---|---|---|
committer | José Romildo Malaquias <malaquias@gmail.com> | 2016-02-26 06:42:04 -0300 |
commit | ef11f77c8f5f5b91f0a35c425554836b9ce52a2e (patch) | |
tree | f79657db5a10d9b61e155ba7a96e68125eecb256 /pkgs/applications/editors | |
parent | 7e9a7a3b0fc059dba45db6554c8cdb56c0b74a8c (diff) |
eclipse-plugins-cup: fix plugin file names
Diffstat (limited to 'pkgs/applications/editors')
-rw-r--r-- | pkgs/applications/editors/eclipse/plugins.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pkgs/applications/editors/eclipse/plugins.nix b/pkgs/applications/editors/eclipse/plugins.nix index 40aa6b8385ec3..40585f95013af 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; { |