added holodeck to linux bashrc