Ticket #11993: trac_11993-fix_sage_--version.scripts.v2.patch

File trac_11993-fix_sage_--version.scripts.v2.patch, 673 bytes (added by jdemeyer, 20 months ago)

  • sage-sage 

    # HG changeset patch
# User Leif Leonhardy <not.really@online.de>
# Date 1320529239 -3600
# Node ID 89aa65fd43c0a7886013459eb9c4131fa6b4985a
# Parent  a64ced8c828f296ad53c80eb3eb9733f83e64f7a
Fix output of 'sage --version'

diff --git a/sage-sage b/sage-sage
    a b  
    326326##################################################################### 
    327327 
    328328if [ "$1" = '-v' -o "$1" = '-version' -o "$1" = '--version' ]; then 
    329     cat "$SAGE_LOCAL/bin/sage-banner" | grep -i "version" | sed "s/\| //" | sed "s/ *\|//" 
     329    sed -n -e '/Version/s/^[ |]\{1,\}//;/Version/s/[ |]\{1,\}$//p' \ 
     330        "$SAGE_LOCAL"/bin/sage-banner 
    330331    exit $? 
    331332fi 
    332333