Make the sidebar dynamic depending on the user's rights
This is done by doing the usual access checks that are also called
when the user actually visits the page.
#!/bin/sh
NOSE_WITH_DOCTEST=t
export NOSE_WITH_DOCTEST
NOSE_DOCTEST_EXTENSION=txt
export NOSE_DOCTEST_EXTENSION
#NOSE_DETAILED_ERRORS=t
#export NOSE_DETAILED_ERRORS
nosetests $*