It looks like 141 is going to use individual hosted VMs instead of the general Linux servers. For that reason and because we might as well teach the students how to set up ssh keys to use with the Linux servers on their home machines, I suggest we add a new section on setting up SSH keys. We can move the ssh key generation instructions out of the Git tutorial and add text to explain how to copy the key over to the linux servers. I think something like this will work on MacOS, Windows, and Linux machines:
cat ~/.ssh/id_rsa.pub | ssh amr@linux.cs.uchicago.edu "mkdir -p ~/.ssh && cat >> ~/.ssh/authorized_keys"
It looks like 141 is going to use individual hosted VMs instead of the general Linux servers. For that reason and because we might as well teach the students how to set up ssh keys to use with the Linux servers on their home machines, I suggest we add a new section on setting up SSH keys. We can move the ssh key generation instructions out of the Git tutorial and add text to explain how to copy the key over to the linux servers. I think something like this will work on MacOS, Windows, and Linux machines:
cat ~/.ssh/id_rsa.pub | ssh amr@linux.cs.uchicago.edu "mkdir -p ~/.ssh && cat >> ~/.ssh/authorized_keys"