Ubuntu/Debian installation

From Gerris

(Difference between revisions)
Jump to: navigation, search
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
  3. % 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
    
  4. Update the contents of the package database
    % sudo apt-get update
    
  5. 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).

Personal tools
communication