From 43acec290067f9aca534647d46ba1f13cfeb377a Mon Sep 17 00:00:00 2001
From: TechDudie <73961295+TechDudie@users.noreply.github.com>
Date: Tue, 09 Feb 2021 19:03:55 +0100
Subject: [PATCH] Add Rubber Goo as replacement for the grinder (#578)

---
 technic/tools/init.lua |    9 ++++++++-
 1 files changed, 8 insertions(+), 1 deletions(-)

diff --git a/technic/tools/init.lua b/technic/tools/init.lua
index 6bb551b..5e0aa02 100644
--- a/technic/tools/init.lua
+++ b/technic/tools/init.lua
@@ -4,7 +4,7 @@
 	dofile(path.."/mining_drill.lua")
 end
 if technic.config:get_bool("enable_mining_laser") then
-	dofile(path.."/mining_laser_mk1.lua")
+	dofile(path.."/mining_lasers.lua")
 end
 if technic.config:get_bool("enable_flashlight") then
 	dofile(path.."/flashlight.lua")
@@ -13,4 +13,11 @@
 dofile(path.."/chainsaw.lua")
 dofile(path.."/tree_tap.lua")
 dofile(path.."/sonic_screwdriver.lua")
+dofile(path.."/prospector.lua")
+dofile(path.."/vacuum.lua")
+
+if minetest.get_modpath("screwdriver") then
+	-- compatibility alias
+	minetest.register_alias("technic:screwdriver", "screwdriver:screwdriver")
+end
 

--
Gitblit v1.8.0