Upload page content

You can upload content for the page named below. If you change the page name, you can also upload content for another page. If the page name is empty, we derive the page name from the file name.

File to load page content from
Page name
Comment

Locked History Actions

Mosh

Mosh

Wait what?

A mobile shell.

Remote terminal application that allows roaming, supports intermittent connectivity, and provides intelligent local echo and line editing of user keystrokes.

Mosh is a replacement for SSH. It's more robust and responsive, especially over Wi-Fi, cellular, and long-distance links.

How do I get it

https://mosh.mit.edu/#getting

Servers

These Infolab servers currently support mosh:

  • madmax{1..7}
  • raiders{1..5}

Permissions, permissions

Here's what usually happens:

~$ mosh ur_csid@raiders4
ur_csid@raiders4's password: 
...
-bash: /afs/cs.stanford.edu/u/ur_csid/.bash_profile: Permission denied
ur_csid@raiders4:~$ 

Here's how to fix it:

ur_csid@raiders4:~$ kinit
Password for ur_csid@CS.STANFORD.EDU: 
ur_csid@raiders4:~$ aklog
ur_csid@raiders4:~$ 

Another fix is running Kerberos on your client machine...