From: Michael Orlitzky Date: Sat, 1 Feb 2020 01:25:39 +0000 (-0500) Subject: init.sage: add an alternate sitedir name. X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=c4c38925f128b267cde1df879eba7a81d3b9d3e8;p=sage.d.git init.sage: add an alternate sitedir name. --- diff --git a/init.sage b/init.sage index e0c7075..01f53f5 100644 --- a/init.sage +++ b/init.sage @@ -1,9 +1,9 @@ import os import site -# Add '~/src/sage.d' to our path. -sitedir = os.path.expanduser('~/src/sage.d') -site.addsitedir(sitedir) +# Add '~/src/sage.d' and '~/src/sage.d.git' to our path. +site.addsitedir( os.path.expanduser('~/src/sage.d') ) +site.addsitedir( os.path.expanduser('~/src/sage.d.git') ) from mjo.all import *