From a4f5cba0f21a4d12d016d08c095908d3e3b6ba12 Mon Sep 17 00:00:00 2001 From: Chloe Kudryavtsev Date: Wed, 18 Jan 2023 13:28:14 +0100 Subject: remove old stuff --- dot_config/luarocks/config.lua | 14 -------------- 1 file changed, 14 deletions(-) delete mode 100644 dot_config/luarocks/config.lua (limited to 'dot_config/luarocks/config.lua') diff --git a/dot_config/luarocks/config.lua b/dot_config/luarocks/config.lua deleted file mode 100644 index 2831b9f..0000000 --- a/dot_config/luarocks/config.lua +++ /dev/null @@ -1,14 +0,0 @@ --- LuaRocks configuration - -rocks_trees = { - { name = "user", root = home .. "/.local/luarocks" }; - { name = "system", root = "/usr" }; -} -lua_interpreter = "lua"; -variables = { - LUA_DIR = "/usr"; - LUA_BINDIR = "/usr/bin"; -} - -home_tree = home .. "/.local/luarocks" -homeconfdir = home .. "/.config/luarocks" -- cgit v1.2.3