CS 576: Topics in Automated Deduction (Spring 2012): FAQ
Frequently Asked Questions


Where can I access the EWS systems?

EWS maintains several labs on campus. A complete listing of these labs can be found at http://www.ews.illinois.edu/labs/. Of particular interest is the lab located in L426 DCL.

In addition, it is possible to log in to the EWS systems remotely using SSH. Instructions on how to do so are located at http://www.ews.illinois.edu/ews/manual/remote.html.

I can't log in. Who do I go to for help?

To access the EWS systems, you must have an active EWS account. All students in the College of Engineering (i.e. most of you) already have these accounts. If you are not in the College of Engineering, contact one of the course TAs about setting up an EWS account.

If you are a student in the College of Engineering, and you still can't log in, first check that you are using the correct password. You should have an EWS password, which is separate from all other passwords (NetID, ICS, E-Mail, etc.) To set/reset this password, visit the EWS password change web page.

If you know your EWS password, and still cannot log on to the system, check the EWS Online Manual or contact EWS support at manager@ews.illinois.edu.


Are there any UNIX tutorials I can read?

A couple of good introductory tutorial for UNIX walkthrough are available from Washington University and from Ohio State University.

How do I set my PATH?

The syntax for setting your path is slightly dependent on which shell you are using. Most people end up with a C-shellish shell (like tcsh or csh) instead of a Bourne-ish shell (like sh, bash, ksh). If you aren't sure what shell you are running, look at the output of either

echo $shell
echo $SHELL

To read all the particulars for setting environment variables you should look at the man page for your shell (i.e. man bash for bash, or man tcsh for tcsh).

For Bourne like shells (bash, sh, ksh...), the syntax is:

export PATH=$PATH:~cs576/bin:~/bin
For C-shell like shells (csh, tcsh...), the syntax is:
set path = ($path ~cs576/bin ~/bin)
(The $PATH means to keep the existing PATH and then append it with the other directories listed.)

These commands can either be typed at the terminal each time you login, or you can add it to your .bashrc for bash shell or .cshrc for csh or tcsh so that each time you login, the PATH is already set. After modifying your .cshrc or .bashrc, you will need to either source it or log out and log in again for your changes to take effect.

Please also note that if you're running tcsh, creating your own .tcshrc will toss out a lot of EWS-specific setup in .cshrc, so don't do that.

How do I download files quickly with wget?

When we make assignments, we sometimes include supplementary files, whether it be actual source code or test input or output. These files may be downloaded using standard browser techniques (by selecting "Save as" or equivalent) or by using the wget program.

The program wget is available on the EWS machines where you are expected to do your development. The wget program is a part of the GNU project. UIUC has a mirror of GNU's FTP site as part of UIArchive.

To retrieve a file by its URL, the syntax is simply

wget the-url-goes-here
To retrieve an entire directory of files, use
wget -r --level=1 the-url-pointing-to-the-directory
More options are available to wget; see wget -h.

How do I run a script I downloaded?

In the past, we have sometimes had students download scripts as part of a project build. To be able to run a script requires that what you have downloaded have the executable mode bit set, which you would do with the command chmod. As an example, let us say that you downloaded a script called gen_output, and you needed to run it. You may need to execute this chmod command before you are able to run gen_output:

chmod u+rx gen_output
Of course, if you do not have "." on your path, to execute this script, you may need to run the script like this:
As always, you should refer to the man pages for the commands that you use. The man pages for wget and chmod are available on the EWS systems.


How do I read the CS 576 newsgroup?

The CS course newsgroups can be found on the CS department USENET server, news.cs.illinois.edu. The group for this course is class.cs576. To use this server, you must log on using your netid and a special news server password.

For more information about newsgroups, including instructions on how to set up your newsreader to access the groups, as well as how to set your news server password, visit http://news.cs.illinois.edu.

Course Description
Contacting Staff
Submitting Assignments
Regrade Policy
Academic Integrity