From 47d9ebbb6f283287d990ccee36b7a1967b98075c Mon Sep 17 00:00:00 2001
From: Erik Andresen <erik@vontaene.de>
Date: Fri, 18 Nov 2022 22:04:24 +0100
Subject: [PATCH] taglaunch: handle tag tools as tool

---
 apps/taglaunch/app.js | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/apps/taglaunch/app.js b/apps/taglaunch/app.js
index d2ffa575f..02c2039c3 100644
--- a/apps/taglaunch/app.js
+++ b/apps/taglaunch/app.js
@@ -41,7 +41,10 @@ if (launchCache.hash!=launchHash) {
       if (a.name>b.name) return 1;
       return 0;
     }).forEach(app => {
-      let appTags = app.tags.split(",").map(tag => tag.trim()).filter(tag => Object.keys(tags).includes(tag));
+      let appTags = app.tags.split(",")
+		    .map(tag => tag.trim())
+		    .map(tag => tag === "tools" ? "tool" : tag) // tool = tools
+		    .filter(tag => Object.keys(tags).includes(tag));
       if (appTags.length === 0) {
         appTags.push("misc");
       }