eclipse: name plugins "eclipse-plugin-${name}"
Instead of "eclipse-${name}". The latter is slightly confusing sincethere are non-plugin eclipse packages named "eclipse-${name}", likeeclipse-modeling or eclipse-cpp.
Bjørn Forsman 10 years ago 5c8a1fe5 771b1a53
··· 9 9 , passthru ? {} 10 10 , ... } @ attrs: 11 11 stdenv.mkDerivation (attrs // { 12 12 - name = "eclipse-" + name; 12 12 + name = "eclipse-plugin-" + name; 13 13 14 14 buildInputs = buildInputs ++ [ unzip ]; 15 15