Clear message

The Sage-combinat patch server: basic instructions

This page describes how to install and update the Sage-combinat experimental patches.

See also the step by step instructions to contribute to sage-combinat.

For technical background on the usage of the patch server, see http:/combinat/Mercurial.

Prerequisites

We assume that:

• Sage 3.2 or higher is already installed (say in /opt/sage), and can be started by typing sage at the command line

  • (it is recommended to use the most recent stable version)

• The user has write access on the Sage installation tree

• The user has access to: http://sage.math.washington.edu:2144/

* Mercurial is already installed (sudo apt-get install mercurial on Debian)

Open (or create, if it does not exist yet) your Mercurial configuration file (~/.hgrc in your home directory), insert the following, and edit the username:

[ui]
username = Simon Cussonnet <Simon.Cussonnet at lycee-technique.torrez.eure.fr>
[extensions]
hgext.mq =
extdiff =
alias =
[alias]
qstatus = status --rev -2:.
[hooks]
pre-qrefresh = (echo "Are you sure you want to refresh the following changes:"; sage -hg status; echo -n "into the patch: "; hg qtop; read -p "(y/n)" answer; test "$answer" = "y"  )
[extdiff]
cmd.interdiff = hg-interdiff

Download and install the Sage-combinat patches

sage -combinat install

Update the Sage-combinat patches

sage -combinat update

Upgrade Sage and update the Sage-combinat patches

sage -combinat upgrade

Get usage information

sage -combinat --help

Uninstall the Sage-combinat patches

sage -b main

Now, you may destroy .../sage/devel/sage-combinat/ (after checking that you do not have local changes!)