From c68457c91cc5a33bda2a0aa5d8a1aa41beb54c79 Mon Sep 17 00:00:00 2001
From: KernelDeimos <7225168+KernelDeimos@users.noreply.github.com>
Date: Tue, 14 Oct 2025 13:47:13 -0400
Subject: [PATCH] devex: no more tip of the day unless you ask for it

---
 src/backend/src/services/DevTODService.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/backend/src/services/DevTODService.js b/src/backend/src/services/DevTODService.js
index 6f24ecf5c..c76a5377f 100644
--- a/src/backend/src/services/DevTODService.js
+++ b/src/backend/src/services/DevTODService.js
@@ -20,6 +20,7 @@
 const putility = require("@heyputer/putility");
 const { surrounding_box } = require("../fun/dev-console-ui-utils");
 const BaseService = require("./BaseService");
+const config = require("../config");
 
 const tips = (
     // CLI tips
@@ -88,6 +89,7 @@ class DevTODService extends BaseService {
     * @returns {Promise<void>}
     */
     async ['__on_boot.consolidation'] () {
+        if ( ! config.tipofday ) return;
         let random_tip = tips[Math.floor(Math.random() * tips.length)];
         if ( this.config.old_widget_behavior ) {
             random_tip = wordwrap(