faq

If you want to type in other languages, you can add different keyboards

1. Choose System->Preferences->Keyboard
2. Click on the Layouts tab
3. Click on Add
4. Click on Layout Options and go to "Key(s) to change layout" - This will allow you to use keyboard...

In order to install other languages in your browser: For Firefox:

1. Click on the Menu button (three horizontal lines on the right-side of the toolbar).
2. Click on Preferences->Content
3. Under Languages, click on Choose
4. In the "Select a language to...

If you want to conserve paper or don't want to carry around a lot of paper, it is possible to print multiple pages on a single sheet of paper.

There are two utilities for setting multiple pages on one piece of paper. They are called mpage and psnup...

To use a floppy or CD-ROM, do the following:

1. Place the floppy disk in the floppy disk drive or CD-ROM in the CD-ROM drive.
2. An icon of a floppy disk or CD-ROM should appear. Click the disk drive icon on the KDE or GNOME desktop to access the...

The School of Mathematics uses CUPS (Common UNIX Printing System)

To check that status of the printer (Check if your job printed):

Go to a Web Browser and type:
http://printhost.math.ias.edu:631/printers/

where is the name of the printer you want...

The web browser may be configured to open a pdf file within the web browser. Adobe Acrobat may open within the browser window. If this happens, then the Adobe menu items will appears beneath the browser menu items. (See picture below):



To print...

Incoming Server Type: IMAP

Incoming Server Name: mail.ias.edu

Outgoing Server Name: smtpauth.ias.edu

Text Editor Create your tex file using a text editor (vi, emacs, gedit). Then you use the latex command to tex the file. latex file.tex Use xdvi to view the file. xdvi file.dvi To print the dvi: dvips -Pf4 file.dvi To convert the dvi to...

rm $HOME/.mozilla/*/*/lock rm ~/.mozilla/*/*/.parentlock or rm ~/.mozilla/*/*/lock rm ~/.mozilla/*/*/.parentlock Reference these pages: http://kb.mozillazine.org/Profile_in_use http://kb.mozillazine.org/Profile_folder#Where_is_my_profile_folder...

At the command line, type:

chsh

You will be asked what you want your new shell to be:

New shell:[/bin/bash] Type, /bin/csh, then enter

You will be then asked for your password.

Changing shell for help Enter LDAP Password:

If your...