How to use git to add a package

asked 2015-07-17 12:32:51 +0200

Xeno
21 ●3

Using Ubuntu, downloaded sage6.7 binary and successfully installed. Use terminal to run sage. To install a package, the recipe used to be sage -optional, then sage -i package. Now all changed. How should I install, say, the package database-gap? I have installed the Ubuntu package git, then get lost. Linux command line solution would be great.

edit retag flag offensive close merge delete

add a comment

1 Answer

Sort by » oldest newest most voted

answered 2015-07-17 16:31:48 +0200

John Palmieri

8551 ●19 ●71 ●186 http://www.math.washin...

sage -i database_gap should work.

edit flag offensive delete link

Comments

In particular, Sage has its own copy of git so you shouldn't have to install anything for this sort of operation. However, if you downloaded a binary it's possible you will need some developer tools like gcc and make that are not pre-included.

kcrisman ( 2015-07-25 15:29:38 +0200 )edit

add a comment

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2015-07-17 12:32:51 +0200

Seen: 422 times

Last updated: Jul 17 '15

How to use git to add a package edit