https://www.cs.vassar.edu/ 2026-04-12T07:02:34+00:00 https://www.cs.vassar.edu/ https://www.cs.vassar.edu/_media/favicon.ico text/html 2015-08-27T14:13:26+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/help/apps/mono?rev=1440684806&do=diff Mono <quote Wikipedia>Mono is a free and open source project led by Xamarin (formerly by Novell and originally by Ximian) to create an Ecma standard compliant .NET Framework-compatible set of tools including, among others, a C# compiler and a Common Language Runtime.</quote> 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 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-08-27T02:32:24+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/help/sysnews/inhouse/upc?rev=1282876344&do=diff Berkeley upc install on martha * Got berkely_upc-2.10.0.tar.gz and berkeley_upc_translator-2.10.0.tar.gz from primary site. * Checked md5sum for both. Translator * Starting with translator, extrated it into /usr/src on martha * did make * 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 2023-04-06T14:19:45+00:00 Anonymous (anonymous@undisclosed.example.com) https://www.cs.vassar.edu/help/possible_issues_with_remote_webui?rev=1680790785&do=diff Possible Issues when using the Remote WebUI 1. Why do I get bumped off after 4 - 5 hours? There is a time limit on the connection because several people have forgotten to log out and left their user home account files open and tied to remote system. Therefore a timer will kick you off after four or five hours to close all of your applications and files for you so that your files are not corrupted. Save your work often! Close all of your applications and disconnect or logout when you are done o… 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 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-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 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 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 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