Ubuntu/Debian installation

From Gerris

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 \
       3f0894c35cea6c4c0179392da015287d24698aa9
   

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