Ask Your Question
2

How to use git to add a package

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

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
0

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

sage -i database_gap should work.

edit flag offensive delete link more

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

Stats

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

Seen: 491 times

Last updated: Jul 17 '15