util/paths.lua
changeset 10406 0971694b30a8
parent 10208 fbd4a5bc3a01
child 11187 2ac63715ef6f
--- a/util/paths.lua	Fri Nov 08 00:58:03 2019 +0100
+++ b/util/paths.lua	Fri Nov 08 19:25:57 2019 +0100
@@ -48,11 +48,11 @@
 	local lua_path_sep = package.config:sub(3,3);
 	local dir_sep = package.config:sub(1,1);
 	local sub_path = dir_sep.."lua"..dir_sep..lua_version..dir_sep;
-	if not string.match(package.path, installer_plugin_path) then
+	if not string.find(package.path, installer_plugin_path, 1, true) then
 		package.path = package.path..lua_path_sep..installer_plugin_path..dir_sep.."share"..sub_path.."?.lua";
 		package.path = package.path..lua_path_sep..installer_plugin_path..dir_sep.."share"..sub_path.."?"..dir_sep.."init.lua";
 	end
-	if not string.match(package.path, installer_plugin_path) then
+	if not string.find(package.path, installer_plugin_path, 1, true) then
 		package.cpath = package.cpath..lua_path_sep..installer_plugin_path..dir_sep.."lib"..sub_path.."?.so";
 	end
 end