Ubuntu/Debian installation

From Gerris

Revision as of 22:17, 2 May 2009 Popinet (Talk | contribs) (debian packages should now work on 8.04) ← Previous diff		Revision as of 02:22, 15 May 2009 Popinet (Talk | contribs) (Fix for compression of text files by the sourceforge server) Next diff →
Line 11:		Line 11:
	</li>		</li>
	<li>Add the public signing key for these repositories to your list of trusted keys</li>		<li>Add the public signing key for these repositories to your list of trusted keys</li>
-	% wget http://gfs.sf.net/debian/popinet_key.asc	+	% wget -O popinet_key.asc.gz http://gfs.sf.net/debian/popinet_key.asc
		+	% gunzip popinet_key.asc.gz
	% sudo apt-key add popinet_key.asc		% sudo apt-key add popinet_key.asc
	<li>Update the contents of the package database		<li>Update the contents of the package database

---

Revision as of 02:22, 15 May 2009

Ubuntu/Debian packages are built automatically every day (whenever a new snapshot release is available). A Debian repository is available on the Gerris web site. The first time you install Gerris you need to:

1. Add the GTS and Gerris debian repositories to your software sources

   % sudo -s
   % echo "deb http://gts.sourceforge.net/debian/ ./" >> /etc/apt/sources.list
   % echo "deb http://gfs.sourceforge.net/debian/ ./" >> /etc/apt/sources.list
   % exit
   

2. Add the public signing key for these repositories to your list of trusted keys

% wget -O popinet_key.asc.gz http://gfs.sf.net/debian/popinet_key.asc
% gunzip popinet_key.asc.gz
% sudo apt-key add popinet_key.asc

3. Update the contents of the package database

   % sudo apt-get update
   

4. Install the Gerris and GfsView snapshots (and their dependencies)

   % sudo apt-get install gerris-snapshot 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).