hey, unix question: is there a way to un-sudo a terminal sesh? like, if we did "sudo [whatever]", to type a command so anything else we run in that sesh has to ask for the password again to sudo? I know there's a timeout or something but we don't want to wait for it
@aescling thanks! we actually like the default behavior - just in situations like today, where we're installing something from the repo and then wanting to use it right away without needing to open a new session, it feels less than ideal.