This page explains what help you can expect from Computing Support, and where else to get help and support with LaTeX.
To find out more about LaTeX itself, see the LaTeX page.
DICE desktops and compute servers have a full LaTeX distribution - presently TeX Live 2019 or newer. See the LaTeX on DICE page for more.
This page is about Informatics document classes for LaTeX. To find out more about LaTeX itself, see the LaTeX page.
The School of Informatics has its own LaTeX document classes, installed on DICE computers as part of TeX Live. For more on TeX Live see the LaTeX on DICE page.
Overleaf is a collaborative LaTeX service. Free Overleaf Professional accounts are available for all staff and students of the University of Edinburgh.
To find out more and to sign up, visit the site:
To find out about LaTeX in the School of Informatics, see our LaTeX page:
Desktop Finder helps you quickly find a lab with free desktops.
Find a lab with free desktops using this URL (only on eduroam):
This is where the printers are in the School of Informatics, and what each printer can do.
Webmark is the School of Informatics' own web-based tool for filling in and submitting forms. It's used for a wide variety of administrative tasks. You will normally be directed by your local admin team or teaching office to fill in a specific form. Visiting webmark.inf.ed.ac.uk will show you a list of the forms which you have been authorised to use.
IS call the process of adding printers to your device "adding a print queue".
NOTE the print queue should already be configured on Managed Windows and DICE machines.
If you need to set up printing on Windows, Mac, Linux, iOS or Android, see the IS documentation.
There are usually several versions of the Haskell Compiler available on DICE, though usually only one version of the Haskell Platform. The default (as invoked by the ghc, etc.) will usually match the default provided by our upstream distributions, but others are available using various commands.
DICE usually has one default version of ruby (as invoked by the ruby, gem, etc.), but on some platforms others will be / can be made available. Here's a summary of normally installed versions:
Normally in a networked Linux environment, user information - phone numbers, email addresses, office locations - can be searched using commands like finger and getent. These don't work on DICE (this blog article explains why) but there are alternative commands:
finger-dice is a wrapper utility around the system finger command and can be used to find out details about users given only part of their name (e.g. surname).