From a4036575de835600b3085b97974d0766ef7c7bc2 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sat, 2 Mar 2024 05:41:39 +0000 Subject: gentoo auto-resync : 02:03:2024 - 05:41:39 --- profiles/releases/23.0/profile.bashrc | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 profiles/releases/23.0/profile.bashrc (limited to 'profiles/releases/23.0') 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 -- cgit v1.2.3