See https://stackoverflow.com/questions/3224878/what-is-the-purpose-of-the-colon-gnu-bash-builtin https://stackoverflow.com/questions/3224878/what-is-the-purp..

See https://stackoverflow.com/questions/3224878/what-is-the-purpose-of-the-colon-gnu-bash-builtin https://stackoverflow.com/questions/3224878/what-is-the-purp... $ type : : is a shell builtin