browser

If you are logged into your IAS office workstation, nothing needs to be done. You will be able to access the PU Library resources automatically. 

If you are using your laptop, you should connect to the Eduroam network and then configure your browser...

For some reason using the built in PDF viewer of browsers when printing may result in texts getting cut off, not being printed at all, or is printed in awkward sections of the paper.
The main solution we are proposing for now is to disable the built...

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

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

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

We have installed MathJax on www.math.ias.edu. http://www.mathjax.org/ 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. This should...

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

Sometimes the Firefox/Mozilla process gets hung up and needs to be restarted.
To do this, at a terminal prompt, type:

pkill -u your_username firefox

or

pkill -u your_username mozilla

Substitute your_username with your username. You can verify that the...

It seems to be a bug with Mozilla Firefox 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...

For Firefox:

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

or

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

For Thunderbird:

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

or

rm ~/...