2023-02-16 17:41:37 +00:00
|
|
|
{ lib, symlinkJoin, kdevelop-unwrapped, plugins ? null }:
|
2020-04-24 23:36:52 +00:00
|
|
|
|
|
|
|
|
symlinkJoin {
|
|
|
|
|
name = "kdevelop-with-plugins";
|
|
|
|
|
|
2023-02-16 17:41:37 +00:00
|
|
|
paths = [ kdevelop-unwrapped ] ++ (lib.optionals (plugins != null) plugins);
|
2020-04-24 23:36:52 +00:00
|
|
|
}
|
