]> gitweb.michael.orlitzky.com - sage.d.git/commitdiff
init.sage: add an alternate sitedir name.
authorMichael Orlitzky <michael@orlitzky.com>
Sat, 1 Feb 2020 01:25:39 +0000 (20:25 -0500)
committerMichael Orlitzky <michael@orlitzky.com>
Sat, 1 Feb 2020 01:25:39 +0000 (20:25 -0500)
init.sage

index e0c707527fce67f3a6ac3611a9a54ad0b0c6b96c..01f53f515785d587c5a337430ab684adb7938f29 100644 (file)
--- 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 *