Ask Your Question

Installing an optional huge database package on Arch Linux

asked 2022-06-05 04:47:23 +0100

SinTan gravatar image

updated 2022-07-14 06:55:27 +0100

I've installed Sage using the Arch package sagemath. I'm unable to install any packages in my system. I get the error "Unknown option".

sage -i database_stein_watkins

Error: unknown option: -i

My SageMath version is 9.6, Release Date: 2022-05-15. I've tried searching the internet but haven't found any fixes. Please help me out.

Edit: I managed to solve it using the answers. Here's a link to the AUR package I created. Hope it'll help others in the future: sage-data-stein-watkins.

edit retag flag offensive close merge delete


Congratulations on creating a package and pushing it to the AUR!

slelievre gravatar imageslelievre ( 2022-07-14 13:05:40 +0100 )edit

3 Answers

Sort by ยป oldest newest most voted

answered 2022-06-22 14:03:13 +0100

arojas gravatar image

'sage -i' doesn't work on distro packages by design. You'll have to create a package for it that installs the database to /usr/share/stein_watkins. You can follow

as models. Also, if you do it please consider contributing it to AUR so others can make use of it.

edit flag offensive delete link more

answered 2022-06-22 11:40:06 +0100

slelievre gravatar image

updated 2022-06-22 11:41:17 +0100

Unfortunately, while other databases seem to be packaged for Arch Linux:

it seems the Stein-Watkins database is not.

Possibly you can install it easily by downloading the compressed database and uncompressing it into the correct location.

I'm not sure what the correct location is on Arch Linux.

To download the compressed database: either


  • select a mirror from the download page
  • then navigate to "SPKG Sage Packages" > "database_stein_watkins"
  • then download "database_stein_watkins-20110713.tar.gz"

Another solution is to build Sage from source, following the instructions at

Then, using that Sage, sage -i will work.

edit flag offensive delete link more

answered 2022-06-20 18:23:35 +0100

Pickle gravatar image

Please refer to this question for help

edit flag offensive delete link more

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: 2022-06-05 04:47:23 +0100

Seen: 407 times

Last updated: Jul 14 '22