File 6042-kernel-Re-init-shell-when-config-is-changed.patch of Package erlang

From cf874dca40dc0e6ef9865c1a7c4c9874254b3997 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lukas=20Backstr=C3=B6m?= <lukas@erlang.org>
Date: Mon, 4 Nov 2024 21:30:05 +0100
Subject: [PATCH 2/3] kernel: Re-init shell when config is changed.

---
 lib/kernel/src/kernel.erl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lib/kernel/src/kernel.erl b/lib/kernel/src/kernel.erl
index f53f3b1071..c7ecc855e8 100644
--- a/lib/kernel/src/kernel.erl
+++ b/lib/kernel/src/kernel.erl
@@ -49,6 +49,7 @@ stop(_State) ->
 %% Some configuration parameters for kernel are changed
 %%-------------------------------------------------------------------
 config_change(Changed, New, Removed) ->
+    ok = os:internal_init_cmd_shell(),
     do_distribution_change(Changed, New, Removed),
     do_global_groups_change(Changed, New, Removed),
     ok.
-- 
2.43.0