Ticket #13389: trac_13389-path-capitalization.patch

File trac_13389-path-capitalization.patch, 871 bytes (added by kini, 9 years ago)

apply to $SAGE_ROOT/devel/sage

  • sage/interfaces/lie.py

    # HG changeset patch
    # User Keshav Kini <keshav.kini@gmail.com>
    # Date 1345670365 -28800
    # Node ID c411aaf6b0e4f97ce47e091d7284ac97dcd4a72c
    # Parent  0daaad03ef155d9bac865f5c5a1c1d6518eb7a21
    Use more unique pathname 'LiE' instead of 'lie'
    
    diff --git a/sage/interfaces/lie.py b/sage/interfaces/lie.py
    a b  
    387387
    388388
    389389        for f in filenames:
    390             filename = SAGE_LOCAL + "/lib/lie/" + f
     390            filename = SAGE_LOCAL + "/lib/LiE/" + f
    391391            info = open(filename)
    392392            prev_command = ""
    393393            help_text = ""
     
    894894        sage: lie_version() # optional - lie
    895895        '2.1'
    896896    """
    897     f = open(SAGE_LOCAL + 'lib/lie/INFO.0')
     897    f = open(SAGE_LOCAL + 'lib/LiE/INFO.0')
    898898    lines = f.readlines()
    899899    f.close()
    900900    i = lines.index('@version()\n')