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_colordiffrc | 1 - dot_config/luarocks/config.lua | 14 -------------- 2 files changed, 15 deletions(-) delete mode 100644 dot_colordiffrc delete mode 100644 dot_config/luarocks/config.lua diff --git a/dot_colordiffrc b/dot_colordiffrc deleted file mode 100644 index ab7322f..0000000 --- a/dot_colordiffrc +++ /dev/null @@ -1 +0,0 @@ -banner = no 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