https://www.cs.vassar.edu/ 2026-04-18T15:29:57+00:00 https://www.cs.vassar.edu/ https://www.cs.vassar.edu/_media/favicon.ico text/html 2020-07-04T20:59:05+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/help/general_linux/filecopy?rev=1593896345&do=diff Secure Shell on macOS, Unix, and Linux Installation Any modern Unix-like operating systems should come with secure shell client utilities already installed. This is true for macOS, Ubuntu, Fedora, Mandrake Linux, FreeBSD and many others. If, however, you need a ssh client, you can download one from the openssh website: 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 2016-05-18T16:17:28+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/help/general_linux/linux_basics?rev=1463588248&do=diff Linux Basics Files, Directories and Paths * a file is a collection of data with a name (a filename to be precise). Although it may be stored in separate chunks in different location on the hardware, programs will generally work with a file as a single continuous collection of data. text/html 2022-09-02T18:02:19+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/help/general_linux/account.size?rev=1662141739&do=diff Account Size Here are a few tips for managing the size of your Computer Science Unix account. How Much Space does My Account Use? du -s -h /home/YOUR_ACCOUNT_NAME This command will give you your total account size. The “-h” stands for “human readable 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 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 2022-08-31T12:49:58+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/help/general_linux/sshkeysmswindows?rev=1661950198&do=diff SSH Keys on Microsoft Windows using the PuTTY Utility SSH keys are what you will use to establish an encrypted connection over the network, e.g. the internet, between your system and a remote machine. The default type of key to generate is RSA which is good for most purposes. RSA is universally supported among SSH clients. Note that EdDSA performs much faster and provides the same level of security with significantly smaller keys. In general, though, for what you need to do, RSA encryption is … 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