e42544de85
Signed-off-by: Peter Lemenkov <lemenkov@gmail.com>
33 lines
975 B
Diff
33 lines
975 B
Diff
From: Peter Lemenkov <lemenkov@gmail.com>
|
|
Date: Wed, 2 Aug 2017 16:12:19 +0300
|
|
Subject: [PATCH] Add extra search directory
|
|
|
|
Signed-off-by: Peter Lemenkov <lemenkov@gmail.com>
|
|
|
|
diff --git a/lib/kernel/src/code_server.erl b/lib/kernel/src/code_server.erl
|
|
index f5a890cb95..f2bb1a1290 100644
|
|
--- a/lib/kernel/src/code_server.erl
|
|
+++ b/lib/kernel/src/code_server.erl
|
|
@@ -79,11 +79,17 @@ init(Ref, Parent, [Root,Mode]) ->
|
|
IPath =
|
|
case Mode of
|
|
interactive ->
|
|
- LibDir = filename:append(Root, "lib"),
|
|
- {ok,Dirs} = erl_prim_loader:list_dir(LibDir),
|
|
- Paths = make_path(LibDir, Dirs),
|
|
+ F = fun(R) ->
|
|
+ LD = filename:append(R, "lib"),
|
|
+ case erl_prim_loader:list_dir(LD) of
|
|
+ error -> [];
|
|
+ {ok, D} -> make_path(LD, D)
|
|
+ end
|
|
+ end,
|
|
+ Paths = F(Root),
|
|
+ SharedPaths = F("/usr/share/erlang"),
|
|
UserLibPaths = get_user_lib_dirs(),
|
|
- ["."] ++ UserLibPaths ++ Paths;
|
|
+ ["."] ++ UserLibPaths ++ Paths ++ SharedPaths;
|
|
_ ->
|
|
[]
|
|
end,
|