print_config_title 'CHECK GENTOO PROFILE'

# Check if the active Gentoo profile is the expected profile
if [ "${GENTOO_PROFILE}" == "$(eselect profile list |grep '*' | tr -s " "| cut -d' ' -f3)" ]
then
	echo -e "${GREEN}Gentoo profile ${GENTOO_PROFILE} is selected : check OK${NC}\n"
# If wrong Gentoo profile selected
else
	WRONG_GENTOO_PROFILE_SELECTED=1
        echo -e "${RED}Gentoo profile ${GENTOO_PROFILE} is NOT SELECTED : check KO${NC}\n"
fi