https://www.cs.vassar.edu/ 2026-04-16T15:49:47+00:00 https://www.cs.vassar.edu/ https://www.cs.vassar.edu/_media/favicon.ico text/html 2018-08-24T18:16:54+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/help/use_and_abuse?rev=1535134614&do=diff From time to time issues of computer privacy, fair use, or appropriate use of the Computer Science Department computer facilities come up. Any discussion must start with an understanding of the campus regulations on computer use. Campus Computer Regulations 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 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 2011-09-22T17:43:12+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/help/sysnews/java_system_tips?rev=1316713392&do=diff Java issues and tips Java remote method invocation problem Problem: When running a demo of Java's remote method invocation on our Ubuntu 9.04 based linux machines running java-6-openjdk the client could only attach to a server running on the same host.```````````````````````````````````````````````````````````````````````````````````````````````````````````````````````````````````````````````````````````````````````````````````````` text/html 2010-12-08T19:20:36+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/help/sysnews/inhouse/server_list?rev=1291836036&do=diff CS Servers Physical CS Department Servers Date Number installed Disks Space NAME type In Srv CPU & speed memory #xSize,type tot/used Function Pacific x3650 2007.1 Xeon 4x3gig 12gig 6x73g,sas 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 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 2020-07-04T21:04:42+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/help/general_linux/x2go?rev=1593896682&do=diff X2Go -- Remote Desktop Access About X2Go is a program that lets you use your account's desktop remotely. Imagine that you want to do work using DrRacket (or DrScheme, Netbeans, etc.) from your home computer but don't want to deal with the fuss of copying your work onto your CS account afterwards. text/html 2010-12-06T15:30:28+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/help/sysnews/kill_a_process?rev=1291649428&do=diff Monitoring and Killing Processes Any process you own you can kill (this is not a moral judgment, just a fact of life in Unix and Linux). Killing an offending process graphically If the machine itself is still responsive (but one or more windows perhaps aren't) you can try one of the Graphical Process Managers on our system.$$xfce4-taskmanager$$````````$$gnome-system-monitor$$```````` text/html 2023-02-20T17:02:22+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/help/general_linux/command_please_not_found?rev=1676912542&do=diff Command 'Please' not found If you see this when you use SSH to log into a system Command 'Please' not found, did you mean: command 'please' from deb pleaser (0.5.1-4ubuntu0.22.04.1) Try: apt install <deb name> and each time you enter a command, this error message is displayed, then something is not right. This means you are logged into a system you should not be logging into but only using as a proxy or gateway. What is likely causing this is that you have some software configu… 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 2011-05-10T16:58:56+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/help/sysnews/ewc?rev=1305046736&do=diff Export a window to the Projector Please note, the instructor's workstation in room 105 has a resolution of 1280×1024, the student workstations have screen resolutions of 14450×900. Please resize any window you want to export to fit on the display where you are exporting it. ```````````````````````````````````````````````` text/html 2008-05-07T02:42:44+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/help/sysnews/isohome.script?rev=1210128164&do=diff isohome Isohome is a simple script that tries to make an image of your CS home directory that is suitable for burning onto a CD or DVD. It will confirm that you are running it from the machine where your home directory is actually a local disk. If not it will tell you which machine you need to run the script from. text/html 2025-09-30T20:45:21+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/help/password?rev=1759265121&do=diff First Time Login The first time you log into a CS workstation with a temporary password, the login page will help you reset your password. First, enter your username (this will be the same as your Vassar email address, before the @-symbol): Enter your temporary password, which should have been given to you by your professor or sysadmin: text/html 2009-10-14T17:24:59+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/help/sysnews/isohome?rev=1255541099&do=diff Backup to CD/DVD ---------- * * * * * * ---------- <BOOKMARK:quick> The really short version of the instructions If you just want to do this without delay and can get to the CS lab... * Bring a blank CD or DVD to the lab * text/html 2010-09-06T14:21:20+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/help/sysnews/inhouse/languages_on_martha?rev=1283782880&do=diff Languages on Martha Well, perhaps this page should now be called Languages installed for Marc as we are moving to having each language installed globally - Greg key installed not installed name url notes tested 64bit install tested jspin got from spin, treated like mariedp1 script, files in /usr/local/share/jspin text/html 2009-08-13T17:38:49+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/help/sysnews/gate_tips?rev=1250185129&do=diff Gate tips Help! I still get GATE 5.0 Beta, not GATE 5.0 When you run gate you should see that you are running GATE Developer 5.0 build 3244. If you are not, then to use the new version you need to do the following 2 steps: * Delete your existing user configuration file, do that with the command: ```````````````````` 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 2010-11-24T23:10:16+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/help/sysnews/acm_jar_applets?rev=1290640216&do=diff Using acm.jar The ACM Java Task Force (JTF) created an API framework for Java programs which is distributed in the file acm.jar. Programs using acm.jar may be compiled and executed from the command line, or within your favorite Java IDE (e.g., Netbeans, DrJava). It is also possible to run your JTF programs as an applet within a browser or via the appletviewer. ```````````````````````````````````` text/html 2019-05-24T11:55:54+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/help/general_linux/windows?rev=1558698954&do=diff Secure Shell on Windows Installation To log in to the CS Department computers, you will need a SSH client. There are several free SSH clients available for Windows. We have used PuTTY with great success. We have also used WinSCP to copy files between Windows and Unix computers. text/html 2024-04-30T14:38:10+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/help/general_linux/printing?rev=1714487890&do=diff Setup To enable the printer, on the linux cmd line: * cd ~ * mkdir .cups * cd .cups * echo 'User 999nnnnnn' > client.conf (ensure that single quotes are used your 999 is entered) * chmod 400 client.conf (ensure that you can only read the file) text/html 2023-03-06T19:51:56+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/help/general_linux/jump?rev=1678132316&do=diff SSH Proxy Jump (Might as Well Proxy Jump!) Announcement (March 06, 2023) As of March 06th, 2023, direct internet access to the CS Department bastion servers is no longer allowed. If you want to access these bastion servers then you need to be on the text/html 2015-08-26T21:24:38+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/help/apps/svn_use?rev=1440624278&do=diff SVN quick reference The following is modified from an email sent by Prof. Smith on the use of the command line svn program under linux here at CS To checkout (co) repository for first time * cd on your local machine to where you want your project working directory to be created```````````````````````````````` text/html 2015-08-26T21:23:27+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/help/apps/jedit?rev=1440624207&do=diff Jedit tip -. End of line codes When using jedit to edit files that will be saved on a remote linux or unix system, you may run into problems if you don't change the code jedit puts at the end of the line to indicate a return. Jedit calles this the ```````````````````````````````````````````````````````````````` text/html 2015-08-27T14:15:04+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/help/apps/drjava?rev=1440684904&do=diff DrJava reports No Compiler Available Problem: when staring DrJava the Compiler Options window reports “no compiler available” To fix this you need to set the tools.jar location in the drjava preferences.  Start drjava and follow these steps: ```````````` text/html 2010-10-29T19:16:06+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/help/sysnews/inhouse/using_htaccess?rev=1288379766&do=diff Using htaccess for web pages Please note: htaccess is for pages served from OUTSIDE THE WIKI in users directories. The wiki has similar ability, but it is set up differently -Greg Web Access Restriction by user/password This can be used in many ways, the user and password are not related to our system users and passwords, so you can use anything you like, however, there is no mechanism for the web users to maintain or reset their htaccess password so it can become a maintenance nightmare qui…