Linux – want user will logout from shell on exit of bash script

In your login shell's profile files you can set up some things that you will use during your session, and which only need to be done once. Some ideas:

• create a temporary file containing the IP address you connected from, later on you can include it in some scripts setting firewall rules.
• run ssh-agent, ask for your SSH keys, and store the SSH agent environment variables in a file.
• if that is a limited machine, and your co-workers want to be aware of each others logins, write(1) messages informing them of your login.

In a non-login shell's files (.bashrc) you should configure your shell:

• Fancy prompt
• set aliases
• set history options
• define custom shell functions
• export environment variables, (maybe PAGER, EDITOR if system-wide settings suck)
• load ssh-agent variables saved in .bash_profile

Usually, you would include .bashrc from .bash_profile with the following. Then login shell gets all your customizations, and .bash_profile file does not have to duplicate things that are already in .bashrc.

[[ -f ~/.bashrc ]] && . ~/.bashrc

Avoid using /etc/mtab because it may be inconsistent.

Avoid piping mount because it needn't be that complicated.

Simply:

if grep -qs '/mnt/foo ' /proc/mounts; then
    echo "It's mounted."
else
    echo "It's not mounted."
fi

(The space after the /mnt/foo is to avoid matching e.g. /mnt/foo-bar.)