[Bash] Source files after setting bash options

Conflicts:
	Bash/bashrc