From c4c38925f128b267cde1df879eba7a81d3b9d3e8 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Fri, 31 Jan 2020 20:25:39 -0500 Subject: [PATCH] init.sage: add an alternate sitedir name. --- init.sage | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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 * -- 2.44.2