From ccb8e6abd6027c5787daeaca8239f907417d353e Mon Sep 17 00:00:00 2001
From: Christian Heller <c.heller@plomlompom.de>
Date: Sun, 23 Mar 2025 23:08:05 +0100
Subject: [PATCH] Fix.

---
 testing/aptmark/user                                    | 2 ++
 testing/home/all/.bashrc                                | 5 ++---
 testing/home/desktop/{.bashrc_bonus => .bashrc.desktop} | 0
 3 files changed, 4 insertions(+), 3 deletions(-)
 rename testing/home/desktop/{.bashrc_bonus => .bashrc.desktop} (100%)

diff --git a/testing/aptmark/user b/testing/aptmark/user
index e4588c7..1ae2972 100644
--- a/testing/aptmark/user
+++ b/testing/aptmark/user
@@ -1,3 +1,5 @@
+# stuff we want on any system with interactive plom user account
+#
 # ping won't work for user without this – see <https://shallowsky.com/blog/linux/ping-permissions.html>
 linux-sysctl-defaults
 # generally useful
diff --git a/testing/home/all/.bashrc b/testing/home/all/.bashrc
index ec686eb..851118b 100644
--- a/testing/home/all/.bashrc
+++ b/testing/home/all/.bashrc
@@ -24,6 +24,5 @@ PS2="${tput_color}> ${tput_reset}"
 PS3="${tput_color}select: ${tput_reset}"
 PS4="${tput_color}+ ${tput_reset}"
 
-# Optional additional stuff.
-PATH_BASHRC_BONUS="${HOME}/.bashrc_bonus"
-[ -f "${PATH_BASHRC_BONUS}" ] && . "${PATH_BASHRC_BONUS}"
+# include others
+dot_shell_file_variants "${HOME}/\.bashrc"
diff --git a/testing/home/desktop/.bashrc_bonus b/testing/home/desktop/.bashrc.desktop
similarity index 100%
rename from testing/home/desktop/.bashrc_bonus
rename to testing/home/desktop/.bashrc.desktop
-- 
2.30.2