misc

In order to use synctex, you need to load the module for texlive 2012. Our workstation build uses TL2007 by default.

In order to utilize it, type the following on a command line (or your login script):

module load texlive

If you type module...

You need to make sure the texlive packages are at the top of the path list.

Go to Edit->Preferences->Typesetting Under Paths for TeX and related programs, make sure that /usr/ias/texlive/2023/bin/x86_64-linux is listed at the top. If this is not...

Create a folder in your root directory called texmf. Then create the directories inside it: tex/latex. You can do it all with one command:

mkdir -p texmf/tex/latex.

Inside the latex directory, you can put your files (.tex, .sty, etc.) or
local...

The Community of Scholars (CoS) is a comprehensive online database of the scholars associated with IAS since its founding. Former Members, Visitors, Research Assistants, and Director's Visitors are encouraged to submit corrections and additional...

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

To create a pdf from a PostScript document (ps), use ps2pdf

user@surrey[1015]: ps2pdf test.ps user@surrey[1016]: file test.pdf test.pdf: PDF document, version 1.2

To create a pdf from a TeX, use pdftex or pdflatex

user@surrey[1017]: pdflatex...

On your Linux desktop, there should be a Windows Icon. If you click it, it will start a Windows session.
It is the same username & password as your Unix account. If this is your first time logging into windows, you will have to change your password...

This happens from time to time. Gnome has just lost your window manager for some reason. (Check your quota) To fix it...

On the tool bar at the top of your window click...

System.

Settings.

In the box that opens up scroll down on the right to...

On a Sun Ray terminal,

You can either type resolution , or choose 'Screen Resolution' from the RedHat menu.

You can also follow the instructions below.

To make your resolution smaller (larger icons)

1) Run utsettings and choose the resolution...