Ubuntu/Debian installation

From Gerris

Revision as of 23:27, 18 July 2009; view current revision
←Older revision | Newer revision→
Jump to: navigation, search

Ubuntu/Debian packages are built automatically every day (whenever a new snapshot release is available). An Ubuntu/Debian repository is available as a Launchpad Personal Package Archive (PPA). The first time you install Gerris you need to:

  1. Append to /etc/apt/sources.list
    deb http://ppa.launchpad.net/popinet/ppa/ubuntu hardy main
    deb-src http://ppa.launchpad.net/popinet/ppa/ubuntu hardy main
  2. Get the key:
    % sudo apt-key adv --recv-keys --keyserver keyserver.ubuntu.com \
  3. Update APT and install the packages:
    % sudo apt-get update
    % sudo apt-get install {gerris,gfsview}-snapshot

Note that these steps can also be done using the graphical tools (e.g. "System -> Administration -> Synaptic Package Manager" and/or "System -> Administration -> Software Sources") in your Ubuntu/Debian desktop.

Your Gerris installation will subsequently be upgraded to the most recent version whenever you run

% sudo apt-get dist-upgrade

i.e. whenever your system updates are performed (again this will be done automatically when using the "Update manager" in Ubuntu/Debian).

Note also that while the packages are nominally built for Ubuntu Hardy (8.04), they should install and run fine on both Intrepid (8.10) and Jaunty (9.04).

Personal tools