Null command. Returns an exit status of 0. Sometimes used as the first character in a file to denote a bash script. Shell variables can be placed after the : to expand them to their values.
To check whether someone is logged in:
if who | grep -w $1 > /dev/null
then : # do nothing
# if pattern is found
else echo "User $1 is not logged in"