Ask Your Question

How to use git to add a package

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

Xeno gravatar image

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

1 Answer

Sort by ยป oldest newest most voted

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

sage -i database_gap should work.

edit flag offensive delete link more


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 gravatar imagekcrisman ( 2015-07-25 15:29:38 +0200 )edit

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


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

Seen: 448 times

Last updated: Jul 17 '15