diff options
Diffstat (limited to 'src/luarocks/cfg.lua')
-rw-r--r-- | src/luarocks/cfg.lua | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/luarocks/cfg.lua b/src/luarocks/cfg.lua index 476bfbc3..7e4093a6 100644 --- a/src/luarocks/cfg.lua +++ b/src/luarocks/cfg.lua | |||
@@ -112,6 +112,12 @@ if not site_config.LUAROCKS_FORCE_CONFIG then | |||
112 | local home_overrides = persist.load_into_table(home_config_file, { home = home }) | 112 | local home_overrides = persist.load_into_table(home_config_file, { home = home }) |
113 | if home_overrides then | 113 | if home_overrides then |
114 | local util = require("luarocks.util") | 114 | local util = require("luarocks.util") |
115 | if home_overrides.rocks_trees then | ||
116 | _M.rocks_trees = nil | ||
117 | end | ||
118 | if home_overrides.rocks_servers then | ||
119 | _M.rocks_servers = nil | ||
120 | end | ||
115 | util.deep_merge(_M, home_overrides) | 121 | util.deep_merge(_M, home_overrides) |
116 | end | 122 | end |
117 | end | 123 | end |