Closed 6bdad4c1-1e26-4f2f-a442-a01a2292c181 closed 8 years ago
Branch: public/19484
Commit: 465d83c
Branch pushed to git repo; I updated commit sha1. New commits:
465d83c | trac #19484 - sage -unzip |
See also #18781.
Replying to @mkoeppe:
See also #18781.
Right, this was the ticket I meant when I posted in sage-devel on this.
Can we at least put sage-unzip into build/bin/ and not expose it via a sage -unzip command line argument? It has no mathematical purpose, its just an internal tool for building Sage packages.
And I agree that there are lots of stupid command line options like sage --twisted
. I don't think that means that we should add more out-of-scope commandline options.
I thought that it would make more sense in the general bin folder. This is where one would find 'unzip' if we had chosen to package it.
As Dima raised, one can already find many non-mathematical 'utilities' in the general bin/ folder. Some examples: g++,cython,cythonize,python,scons,git, ...
And I agree that there are lots of stupid command line options like
sage --twisted
. I don't think that means that we should add more out-of-scope commandline options.
Oh. Well I have no strong objection to the removal of sage -unzip
. I just thought that all sage-something had to be exposed as "sage -something". How would you want it to appear?
Nathann
There is no reason to expose everything as commandline option. There is no sage --fix-pkg-checksums
(i hope). The script using sage-unzip can just call it directly.
There is no reason to expose everything as commandline option. There is no
sage --fix-pkg-checksums
(i hope).
Err... That's #18947.
The script using sage-unzip can just call it directly.
Okayokay. So I'll remove that line, I do not mind much.
Nathann
Branch pushed to git repo; I updated commit sha1. New commits:
35f2e34 | trac #19484: No sage -unzip |
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
727ac93 | trac #19484: sage-unzip |
Reviewer: Volker Braun
Cooool! Thanks,
Nathann
Changed branch from public/19484 to 727ac93
As discussed on sage-devel [1], we lack a way to unzip files.
This very short python script does the job.
Nathann
[1] https://groups.google.com/d/topic/sage-devel/1uoTUsQ29Sw/discussion
Component: distribution
Author: Nathann Cohen
Branch/Commit:
727ac93
Reviewer: Volker Braun
Issue created by migration from https://trac.sagemath.org/ticket/19484