Merge pull request #69294 from timokau/sage-add-pager

sage: add pager to environment
This commit is contained in:
Timo Kaufmann 2019-09-23 15:09:26 +00:00 committed by GitHub
commit 94a84b844e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -44,6 +44,7 @@
, gsl
, ntl
, jdk
, less
}:
# This generates a `sage-env` shell file that will be sourced by sage on startup.
@ -92,6 +93,7 @@ let
rubiks
flintqs
jdk # only needed for `jmol` which may be replaced in the future
less # needed to prevent transient test errors until https://github.com/ipython/ipython/pull/11864 is resolved
]
));
in