.BASH_PROFILE File Extension

.BASH_PROFILE File Extension

File Type

Bash Interactive Login Shell File

Developer The GNU Project
Popularity
3.9  |  24 Votes
Category System Files
Format Text

What is a BASH_PROFILE file?

Shell file used by Mac OS X and Linux terminal programs; stores setup instructions for the shell environment, such as environment variables and default scripts to execute; commonly used for setting user command prompt preferences as well as file system paths for directories and program binaries.

More Information

BASH_PROFILE files are automatically run for interactive login shells. In other words, they are executed after a user logs in with their login credentials, or when a new terminal window is created. This differs from .BASHRC files, which are run only when Bash shell scripts are executed within a terminal that is already open.

Since users often want to run both BASH_PROFILE and BASHRC files upon login, they often include the following segment in the BASH_PROFILE file, which forces the BASHRC file to be run when only the BASH_PROFILE file is executed:

if [ -f ~/.bashrc ]. Then
  source ~/.bashrc
fi

NOTE: BASH_PROFILE files are hidden in a user's home directory and do not contain a filename prefix. They always use the filename .bash_profile.

Open over 400 file formats with File Viewer Plus.Free Download

Programs that open or reference BASH_PROFILE files

Mac
Included with OS
Linux
Updated August 18, 2010

Verified by FileInfo.com

The FileInfo.com team has independently researched the Bash Interactive Login Shell file format and Mac and Linux apps listed on this page. Our goal is 100% accuracy and we only publish information about file types that we have verified.

If you would like to suggest any additions or updates to this page, please let us know.