# no further processing because exec has been called!
# no further processing because exec has been called!
@ -479,8 +480,8 @@ else
extra_dev_desktop
extra_dev_desktop
if[["$SESSION_RELOAD_REQUIRED"==true]];then
if[["$SESSION_RELOAD_REQUIRED"==true]];then
echoinfo "successful session installation"
echowarn "be aware: the current session has been reloaded, due to new group <$NEW_GROUP>. Next time you type \`exit\`, this session will emit a kill signal!"
echoinfo "successful \`session\` installation"
echowarn "current session has been reloaded, due to new group <$NEW_GROUP>! Next time you type \`exit\`, this session will emit a kill signal!"