@StephenS: You can add that to your ~/.bashrc file.

@StephenS: Try another port.

@StephenS: Click on recreate shell button under your shell info.

@StephenS: Click on recreate shell button.

@StephenS: Click on Recreate button.