How do I log in to a linux box from another machine?
Use telnet on your preferred platform to log in to a remote linux (or other Unix) machine. You’ll have to provide the machine’s hostname (if it uses dhcp instead of a static IP, this will be something byzantine and different every time the machine is rebooted). Of course, if the machine belongs to someone else, please check with the owner first before using it. Once you’re in, you can use “cd” (change directory; chdir also works, if you want to type more) to go to wherever the build tree is.