Opened 11 years ago

Closed 6 years ago

#12268 closed enhancement (fixed)

Make a "release" directory in the sagenb repo that generates a new proper sagenb spkg

Reported by: William Stein Owned by: jason, mpatel, was
Priority: major Milestone: sage-duplicate/invalid/wontfix
Component: notebook Keywords:
Cc: Merged in:
Authors: Reviewers: Jeroen Demeyer
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

The top level of the sagenb spkg does not have an hg repository, which is very confusing since all spkg's are supposed to. It turns out that spkg-install is autogenerated and SPKG.txt is in sagenb's own repository, i.e., in sagenb-0.9.0/src/sagenb/SPKG.txt.

Jason Grout and William Stein discussed this for a while and propose the following plan:

  1. Create a directory sagenb-0.9.0/src/sagenb/release/sage
  2. Put spkg-dist, SPKG.txt there, along with a small hg repo that contains SPKG.txt and spkg-install.
  3. Use this new spkg-dist script to generate a proper sagenb spkg in the usual way. However, it will copy over the hg repo created in 2, then check in spkg-install and SPKG.txt.

The motivation for this is so that the sagenb spkg is the same as the other ones, which could be important for automated tools that make a directory of spkg's, etc.

Change History (7)

comment:1 Changed 9 years ago by Jeroen Demeyer

Milestone: sage-5.11sage-5.12

comment:2 Changed 9 years ago by For batch modifications

Milestone: sage-6.1sage-6.2

comment:3 Changed 9 years ago by For batch modifications

Milestone: sage-6.2sage-6.3

comment:4 Changed 8 years ago by For batch modifications

Milestone: sage-6.3sage-6.4

comment:5 Changed 7 years ago by Jeroen Demeyer

Milestone: sage-6.4sage-duplicate/invalid/wontfix
Reviewers: Jeroen Demeyer
Status: newneeds_review

Obsolete.

comment:6 Changed 7 years ago by Jeroen Demeyer

Status: needs_reviewpositive_review

comment:7 Changed 6 years ago by Volker Braun

Resolution: fixed
Status: positive_reviewclosed
Note: See TracTickets for help on using tickets.