Ticket #11021: 11021_spkg.patch

File 11021_spkg.patch, 601 bytes (added by jdemeyer, 7 years ago)
  • spkg/bin/sage

    # HG changeset patch
    # User Jeroen Demeyer <jdemeyer@cage.ugent.be>
    # Date 1346309515 -7200
    # Node ID a821e5e9e5a754dea8492f3d8ba177f5131a2e79
    # Parent  e71c72f1db23c65e8e012be27bbf5c8e7c14a0b3
    The command "sage foo.spkg" now force-installs foo.spkg
    
    diff --git a/spkg/bin/sage b/spkg/bin/sage
    a b  
    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 -f "$@"
    11181117   fi
    11191118   cd "$SAGE_LOCAL/bin/"
    11201119   SAGE_BANNER="no"