694810d182f61f7537aaea088291a175cab035eb
[profile.git] / opt / bin / became
1 #!/bin/bash
2
3 file="${TMPDIR:-/tmp}/$SUDO_USER.became.$USER.$RANDOM.$$"
4 ( umask 077; cat > "$file"; echo "/bin/rm -f '$file'" >> "$file" )
5 exec </dev/tty /bin/bash --rcfile "$file"
6 # Fall back to the shell.
7 exec </dev/tty /bin/bash
8 exit 111