How do I transfer my Firefox Bookmarks to my workstation?

  • On your laptop or home machine, in Firefox, go to Bookmarks->Organize Bookmarks. Then click on the Import/Export Button (Mac), Import and Backup Button (Windows/Linux) and select Export HTML. Save the file.
  • Transfer that file to your office computer via e-mail, ssh, usb key, etc.

How do I print a PDF that opens within a web browser (i.e. Mozilla, Firefox)?

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, click on the Print Symbol (if you are in a Web Browser) or click on File->Print The following window should show up:

How can view other languages in my browser?

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 add" dropdown, choose the language(s) you want.

For Chrome:

  1. Click on the Menu button (three horizontal lines on the right-side of the toolbar).
  2. Select Settings
  3. Languages->Language and input settings
  4. Add

Is MathJax supported? Can I use MathJax on my website?

We have installed MathJax on

MathJax allows you to display mathematics on a webpage using LaTeX code.
 To include MathJax on your School website, include the following in
your html.

<script type="text/javascript" src="/MathJax/MathJax.js"><script>

This should go in the <head> section of your file.

Here are some example pages, one in drupal (our content management
system) the other in plain html.

How do I import the IAS calendar into my Google Calendar?

  • In Google Calendar, in the left-hand pane, under Other Calendars:: click on Add, then Add by URL
  • Next to URL, type:
  • Then click on Add Calendar

How do I setup a home page in the School of Mathematics?

To setup a home page you will need to create a directory called public_html in your home directory. In this directory you will need to create a file called index.html, index.php or index.cgi

The permissions on your home directory and on the public_html directory must be such that the web server (apache) has permission to access the files.

Assume our username is ezeno and our home directory is /home/paradox/ezeno, then to make our personal home page:

When I click on a link in Thunderbird, I get the error: 'Error: The browser specified in Preferences ->Preferred Applications does not exist'

First, quit Thunderbird (or else any changes you make to the file below will be overwritten)
Add the following line to your prefs.js file in your .thunderbird directory:

user_pref('''', ''/usr/bin/firefox'');

Click on the link below for more information:

In Adobe Acrobat or acroread, when I click on a link in a PDF file I get the error: 'Web Browser has not been specified. Do you want to configure the Weblink Preferences?'

This error mean that the application does not know what your web browser is. This is preventing the application from opening up the html document.

To fix this error you can do either of the following:

  1. When the question comes up, click on Yes.
    In the field underneath 'Web Browser Application', type /usr/bin/mozilla
    Then click on OK
  2. Click on Edit->Preferences->Web Link
    In the field underneath 'Web Browser Application', type /usr/bin/mozilla
    Then click on OK


How do I start Firefox or Thunderbird when it is stating that my 'profile is in use'?

With Netscape:

rm $HOME/.netscape/lock


rm ~/.netscape/lock

For Mozilla:

rm $HOME/.mozilla/*/*/lock


rm ~/.mozilla/*/*/lock

For Firefox:

rm $HOME/.mozilla/firefox/*/lock
rm $HOME/.mozilla/firefox/*/.parentlock


rm ~/.mozilla/firefox/*/lock
rm ~/.mozilla/firefox/*/.parentlock

For Thunderbird:

rm $HOME/.thunderbird/*/lock
rm $HOME/.thunderbird/*/.parentlock


What do I do if my screen freezes up when viewing a pdf from mozilla?

It seems to be a bug with Mozilla that is causing screens to freeze.
To unfreeze your screen:
1. Make note of the name of the machine you are on.
2. Log into another machine
3. ssh into the machine that is frozen
4. type

pkill -9 -u your_username mozilla

br> 5. This should kill the mozilla process that is running and your screen should return to normal.
If not, type