# This file usually contains settings to customize the shell (terminal).
# There may also be similar files called .bashrc or .bash_login.
# For this lesson material it does not contain any settings.
