Computer Science | Vassar College

using_the_pickup_script

Anonymous (anonymous@undisclosed.example.com) — 2011-05-05T19:17:27+00:00

Using the pickup script with your course What it is The pickup script is a companion to the submit script. Pickup allows you to place files for pickup in your course directories such that those files cannot be read by your students until they run this script. At that time an entry is logged showing the date, time, user and directory that was picked up. If your students attempt to kill the script (say, after it copies the files and before it logs that it has) that attempt will also be logged…

backups

Anonymous (anonymous@undisclosed.example.com) — 2015-08-26T20:52:53+00:00

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…

gate_tips

Anonymous (anonymous@undisclosed.example.com) — 2009-08-13T17:38:49+00:00

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: ````````````````````

acm_jar_applets

Anonymous (anonymous@undisclosed.example.com) — 2010-11-24T23:10:16+00:00

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. ````````````````````````````````````

languages_on_martha

Anonymous (anonymous@undisclosed.example.com) — 2010-09-06T14:21:20+00:00

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

windows

Anonymous (anonymous@undisclosed.example.com) — 2021-02-11T14:53:34+00:00

X2Go Windows Installation * Step 1: ” target=“blank”>Click here for the latest version to go to the download page for x2go. ” target=“blank”>Click here for the previous versions.

java_system_tips

Anonymous (anonymous@undisclosed.example.com) — 2011-09-22T17:43:12+00:00

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.````````````````````````````````````````````````````````````````````````````````````````````````````````````````````````````````````````````````````````````````````````````````````````

isohome.script

Anonymous (anonymous@undisclosed.example.com) — 2008-05-07T02:42:44+00:00

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.

isohome

Anonymous (anonymous@undisclosed.example.com) — 2009-10-14T17:24:59+00:00

Backup to CD/DVD ---------- * * * * * * ---------- 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 *

possible_issues_with_remote_webui

Anonymous (anonymous@undisclosed.example.com) — 2023-04-06T14:19:45+00:00

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…

vnc

Anonymous (anonymous@undisclosed.example.com) — 2020-07-04T21:02:46+00:00

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

jedit

Anonymous (anonymous@undisclosed.example.com) — 2015-08-26T21:23:27+00:00

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 ````````````````````````````````````````````````````````````````

priority

Anonymous (anonymous@undisclosed.example.com) — 2025-06-27T18:51:07+00:00

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…

mitm

Anonymous (anonymous@undisclosed.example.com) — 2023-01-05T22:19:50+00:00

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

linux_advanced

Anonymous (anonymous@undisclosed.example.com) — 2016-05-18T18:23:18+00:00

Linux Commands : file - search / replace For the following cmds, the test.file contains: 1 cat barn food 2 dog house kibble 3 fish water food 4 cow pasture grass grep “searches the named input FILE for lines containing a match to PATTERN”

info

Anonymous (anonymous@undisclosed.example.com) — 2016-05-18T15:53:52+00:00

Bash Shell Resources a few articles and tutorials on the web for learning the bash shell * * * * * System Info - User Help ---------- Help for New Users Unix information and help Examples for …

emacs_tips

Anonymous (anonymous@undisclosed.example.com) — 2015-08-27T14:16:13+00:00

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- means hold the CONTROL key while typing the character Thus, C-f would be: hold the CONTROL key and type f. M- means hold the META or EDIT or ALT key down while typing . …

command_please_not_found

Anonymous (anonymous@undisclosed.example.com) — 2023-02-20T17:02:22+00:00

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 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…

sshkeysmswindows

Anonymous (anonymous@undisclosed.example.com) — 2022-08-31T12:49:58+00:00

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 …