Setting aliases This page will explain how you can set a shorthand command to connect to Holodeck. Attached to this article you will find a bash script that will ...
SSH config The most flexible way to set shortcuts for connecting to Holodeck is through setting shortcuts in the SSH config file. This file is used by ssh and by ...