Ticket #11021: trac_11021-root.patch

File trac_11021-root.patch, 573 bytes (added by jhpalmieri, 7 years ago)

root repo

  • spkg/bin/sage

    # HG changeset patch
    # User J. H. Palmieri <palmieri@math.washington.edu>
    # Date 1346692011 25200
    # Node ID c986d1de50e2b406f47b5b3bdfac4292065cee33
    # Parent  77338c5e2f280858ea09c589e1081d8983e3284d
    Fix "sage FILE.spkg".
    
    diff --git a/spkg/bin/sage b/spkg/bin/sage
    a b fi 
    11121112
    11131113if [ $# -ge 1 ]; then
    11141114   T=`echo "$1" | sed -e "s/.*\.//"`
    1115    if [ "$T " = "spkg " ]; then
    1116        install "" "$@"
    1117        exit $?
     1115   if [ "$T" = "spkg" ]; then
     1116       install "$@"
    11181117   fi
    11191118   cd "$SAGE_LOCAL/bin/"
    11201119   SAGE_BANNER="no"