Revert "jetbrains: update IDEA for generated plugins"

This reverts commit d851231ee9.

The change went ahead too early and the actual plugin generation system
is not complete.
This commit is contained in:
2020-12-09 10:35:02 +11:00
parent 80f909abb1
commit 8548791f31
6 changed files with 29 additions and 101 deletions

View File

@ -21,13 +21,11 @@ in
assert assertMsg (length badPlugins == 0) errorMsg;
appendToName "with-plugins" (package.overrideAttrs (oldAttrs: {
inherit plugins;
# TODO: Remove version from directory name
passthru = { inherit plugins; };
# TODO: Purely aesthetics, but link the plugin to its name instead of hash-name-version
installPhase = oldAttrs.installPhase + ''
for plugin in $plugins; do
local dirname=$(basename "$plugin")
dirname=''${dirname:33}
ln -s "$plugin" "$out/$name/plugins/$dirname"
ln -s "$plugin" "$out/$name/plugins/$(basename $plugin)"
done
'';
}))