summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndreas K. Hüttel <dilfridge@gentoo.org>2024-03-01 23:29:50 +0100
committerAndreas K. Hüttel <dilfridge@gentoo.org>2024-03-02 00:11:54 +0100
commitc74e2d6e928af3c16b49710b6069b48a61c99543 (patch)
tree73574ac144d5c3c82d1f9b93a4c7f9f3f42114af /profiles/releases
parentdev-ada/xmlada: fix deps (diff)
downloadgentoo-c74e2d6e928af3c16b49710b6069b48a61c99543.tar.gz
gentoo-c74e2d6e928af3c16b49710b6069b48a61c99543.tar.bz2
gentoo-c74e2d6e928af3c16b49710b6069b48a61c99543.zip
profiles: 23.0: Prevent footguns for lack of reading comprehension
Signed-off-by: Andreas K. Hüttel <dilfridge@gentoo.org>
Diffstat (limited to 'profiles/releases')
-rw-r--r--profiles/releases/23.0/profile.bashrc20
1 files changed, 20 insertions, 0 deletions
diff --git a/profiles/releases/23.0/profile.bashrc b/profiles/releases/23.0/profile.bashrc
new file mode 100644
index 000000000000..258d9754e5bb
--- /dev/null
+++ b/profiles/releases/23.0/profile.bashrc
@@ -0,0 +1,20 @@
+if [[ "${EBUILD_PHASE}" == "setup" ]] ; then
+ if [[ ! -h "${EROOT%/}/bin" ]] && [[ "${PROFILE_23_USRTYPE}" != "split-usr" ]] ; then
+ eerror ""
+ eerror "Your profile is of type merged-usr, but your directories"
+ eerror "on-disk are of type split-usr."
+ eerror "Please switch back to your last valid profile setting and"
+ eerror "read the documentation about merged-usr and profile changes."
+ eerror ""
+ die "ERROR: 23.0 merged-usr profile, but disk is split-usr"
+ fi
+ if [[ -h "${EROOT%/}/bin" ]] && [[ "${PROFILE_23_USRTYPE}" == "split-usr" ]] ; then
+ eerror ""
+ eerror "Your profile is of type split-usr, but your directories"
+ eerror "on-disk are of type merged-usr."
+ eerror "Please switch back to your last valid profile setting and"
+ eerror "read the documentation about merged-usr and profile changes."
+ eerror ""
+ die "ERROR: 23.0 split-usr profile, but disk is merged-usr"
+ fi
+fi