Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Graph database installs to wrong location #16735

Closed
vbraun opened this issue Jul 29, 2014 · 12 comments
Closed

Graph database installs to wrong location #16735

vbraun opened this issue Jul 29, 2014 · 12 comments

Comments

@vbraun
Copy link
Member

vbraun commented Jul 29, 2014

#16541 introduced

mv src "$SAGE_SHARE"/graphs

which installs the database in the wrong directory.

CC: @nathanncohen

Component: graph theory

Author: Volker Braun

Branch: 009e149

Reviewer: François Bissey

Issue created by migration from https://trac.sagemath.org/ticket/16735

@vbraun vbraun added this to the sage-6.3 milestone Jul 29, 2014
@vbraun

This comment has been minimized.

@vbraun
Copy link
Member Author

vbraun commented Jul 29, 2014

@vbraun
Copy link
Member Author

vbraun commented Jul 29, 2014

Commit: 009e149

@vbraun
Copy link
Member Author

vbraun commented Jul 29, 2014

New commits:

009e149Install the graphs database in the correct location

@kiwifb
Copy link
Member

kiwifb commented Jul 29, 2014

comment:4

This is trivial.

@kiwifb
Copy link
Member

kiwifb commented Jul 29, 2014

Reviewer: François Bissey

@vbraun
Copy link
Member Author

vbraun commented Jul 29, 2014

Author: Volker Braun

@vbraun
Copy link
Member Author

vbraun commented Jul 29, 2014

comment:5

thanks!

@vbraun
Copy link
Member Author

vbraun commented Jul 30, 2014

Changed branch from u/vbraun/graph_database_installs_to_wrong_location to 009e149

@dimpase
Copy link
Member

dimpase commented Aug 2, 2014

Changed commit from 009e149 to none

@dimpase
Copy link
Member

dimpase commented Aug 2, 2014

comment:7

hmm, shouldn't this have bumped the graphs spkg version, to force a re-install? I had to manually reinstall it after updating to beta8.

@kiwifb
Copy link
Member

kiwifb commented Aug 2, 2014

comment:8

shoo you are right, if you come from beta7 you are cooked.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

3 participants