Ticket #4029: trac_4029.patch

File trac_4029.patch, 444 bytes (added by mhansen, 13 years ago)
  • sage-env

    # HG changeset patch
    # User Mike Hansen <mhansen@gmail.com>
    # Date 1254727057 -25200
    # Node ID 6c98ca62a950ced3490158a81eee3913a309c33f
    # Parent  295d20c5a62d30d3cb01be5361104ea0c53ff714
    Trac #4029: sage-env kills the shell when called from "wrong" directory
    
    diff --git a/sage-env b/sage-env
    a b  
    6262
    6363if [ "$SAGE_ROOT" = "" ]; then
    6464    echo "SAGE_ROOT must be set"
    65     exit 1
     65    $(exit 1)
    6666fi
    6767
    6868