https://www.cs.vassar.edu/ 2026-06-09T21:03:05+00:00 https://www.cs.vassar.edu/ https://www.cs.vassar.edu/_media/favicon.ico text/html 2023-01-05T22:19:50+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/help/general_linux/mitm?rev=1672957190&do=diff Host Key Verification Failed At some point you may attempt to SSH into a server, workstation or device, e.g. “my_server”, that you have logged into before and you encounter a long, scary message as follows that ends with “Host Key Verification Failed text/html 2025-06-27T18:51:07+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/help/general_linux/priority?rev=1751050267&do=diff System Priorities Priorities of programs are something to be aware of. PS The first thing to do is to get to know your processes. The ps command lists out the processes you have running on the system. By using ps -l, an extended listing of your processes is provided. The fields of the most interest to this topic are the PID, NI, and COMMAND fields. The COMMAND field lists the name of the command that started your process. So, if you're looking for your runaway c++ program, a.out is the one yo… text/html 2024-03-27T13:08:06+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/help/general_linux/ssh?rev=1711544886&do=diff Accessing CS Systems The easiest way to gain access the Computer Science Dept. Linux machines outside of the Asprey computer lab. This gives you terminal access to the command line inside the department, and it allows you to send files back and forth to your home directory. Since it has no remote text/html 2023-01-19T02:50:27+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/help/general_linux/sshkeys?rev=1674096627&do=diff Setting up SSH Keys Note : This tutorial assumes that you are running a linux-based operating system. The procedure for setting up keys on an Apple Mac OS X machine is similar to this procedure, but you may need to make some minor adjustments. There is a separate text/html 2015-08-26T20:52:53+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/help/general_linux/backups?rev=1440622373&do=diff FIXME update, convert to wiki, add link to isohome Backup With Tar ---------- * Overview * Creating a tar file of your entire directory * Copying the file to another location * Tar Documentation ---------- Overview While I make regular backups of the home directories on the Computer Science Unix machines, there are times when you want to have your own copy of your account. There are several relatively painless ways to accomplish this task. I will describe one of them here. If you n… text/html 2015-08-27T14:16:13+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/help/general_linux/emacs_tips?rev=1440684973&do=diff Emacs Tips Emacs Command Shorthand From the emacs built in tutorial Emacs commands generally involve the CONTROL key (sometimes labeled CTRL or CTL) or the META key (sometimes labeled EDIT or ALT). Rather than write that in full each time, we'll use the following abbreviations: C-<chr> means hold the CONTROL key while typing the character <chr> Thus, C-f would be: hold the CONTROL key and type f. M-<chr> means hold the META or EDIT or ALT key down while typing <chr>. … text/html 2022-10-26T13:47:02+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/help/general_linux/opensshformswindows?rev=1666792022&do=diff OpenSSH On MS Windows OpenSSH is the open-source version of the Secure Shell (SSH). OpenSSH was added to Windows 10 (build 1809 and later). This means that you can open a MS Windows Command Prompt window and run any of the SSH tools from the command line in MS Windows. Therefore you don't need to use PuTTY if you don't like that tool. OpenSSH for Windows has the following commands built in text/html 2020-07-04T21:02:46+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/help/general_linux/vnc?rev=1593896566&do=diff Using VNC What is VNC? NOTE: VNC is deprecated. For all remote desktop access, we ask that you use X2Go (found here). VNC is a system for interacting with a computer display remotely, over a network. This technology was developed by AT&T Laboratories, and is now available for free over the internet (distributed under the GNU General Public License. Visit the