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