aebletrae [she/her]

Since .bashrc is executed for all non-login shells, it shouldn’t really source .profile, which is only meant for login shells, and might trigger expensive activity. (.profile might source .bashrc, but that`s fine.)

Are other lines in .profile being executed, or is the whole file ignored? Have you logged out and in again since adding these lines?

Ah, Enhanced, the folks that brought us interrogation.