#19487: Support .zip upstream/ files
-------------------------+-------------------------------------------------
       Reporter:         |        Owner:
  ncohen                 |       Status:  needs_review
           Type:         |    Milestone:  sage-6.10
  enhancement            |   Resolution:
       Priority:  major  |    Merged in:
      Component:         |    Reviewers:
  distribution           |  Work issues:
       Keywords:         |       Commit:
        Authors:         |  7e464c1a8bf37422e30b36f5b99ff6a7748e6606
  Nathann Cohen          |     Stopgaps:
Report Upstream:  N/A    |
         Branch:         |
  u/mkoeppe/19487        |
   Dependencies:         |
  #19484                 |
-------------------------+-------------------------------------------------

Comment (by mkoeppe):

 Replying to [comment:21 ncohen]:
 > > The GNU sed implementation explains pretty well what are GNU
 extensions. And yes, if one always used the GNU version it's stunning how
 restrictive the classic UNIX versions were.
 >
 > I tried to rewrite this regexp in posix. Can you try whether this works
 in Mac OSX? The '--posix' flag is meant to disable whatever shouldn't be
 supported
 >
 > {{{
 > ~$ echo whatever.tar.2.0.zip.tar.gz.tar.tgz | sed --posix
 "s/[\.zip|\.tar|\.gz]*$//g"
 > whatever.tar.2.0
 > }}}

 It does not work. UNIX sed does not understand any command line option
 with double dashes.

 And, by the way, your original regexp does not work because you're
 confusing [] and \( \).

--
Ticket URL: <http://trac.sagemath.org/ticket/19487#comment:24>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to