Ticket #14383: 14383_wget.patch

File 14383_wget.patch, 732 bytes (added by jdemeyer, 8 years ago)
  • spkg/bin/sage-download-file

    # HG changeset patch
    # User Jeroen Demeyer <jdemeyer@cage.ugent.be>
    # Date 1364582336 25200
    # Node ID 65835d3e1e91a6bedcbfc27cf0e1d32730b974f7
    # Parent  e8971b98bbcbd1072ce11ddf43be87a3491ce174
    Use wget -nv instead of wget --no-verbose
    
    diff --git a/spkg/bin/sage-download-file b/spkg/bin/sage-download-file
    a b  
    3535    elif command -v curl &>/dev/null; then
    3636        URL_GRABBER="curl"
    3737    elif command -v wget &>/dev/null; then
    38         URL_GRABBER="wget --no-verbose -O-"
     38        URL_GRABBER="wget -nv -O-"
    3939    # Pick Python last because we don't know which version it is,
    4040    # so it's a bit risky.
    4141    elif command -v python &>/dev/null; then