Various updates to bash/terminal/Eclipse