Ticket #11296: trac_11296-sage-combinat-script-username.patch

File trac_11296-sage-combinat-script-username.patch, 774 bytes (added by saliola, 11 years ago)

  • sage-combinat 

    # HG changeset patch
# User Franco Saliola <saliola@gmail.com>
# Date 1304566078 14400
# Node ID 32610c8fd6760f820ecb64c519d31ec05e7a68ca
# Parent  a8e413f8f3ba72eff4c63ac2b97c26858f2ff1f4
trac 11296 : add default hg username to sage combinat script

diff -r a8e413f8f3ba -r 32610c8fd676 sage-combinat
    a b  
    262262##############################################################################
    263263
    264264sage         = options.sage
    265 hg           = sage+" -hg --config 'extensions.hgext.mq='"
     265hg           = sage+""" -hg --config 'extensions.hgext.mq=' --config 'ui.username="sage-combinat script"'"""
    266266sage_root    = get_sage_root()
    267267sage_version = get_sage_version()
    268268