# HG changeset patch
# User Tim Dumol <tim@timdumol.com>
# Date 1257506697 -28800
# Node ID 406ce1e4d1d6bdbe47686509216dec0372b89e87
# Parent 01c25c9004593172a3beb4fd32d65e0abdd2b864
#7402 Use `pkg_resources` to locate DATA directory.
diff -r 01c25c900459 -r 406ce1e4d1d6 sagenb/misc/misc.py
|
a
|
b
|
|
| 9 | 9 | # http://www.gnu.org/licenses/ |
| 10 | 10 | ############################################################################# |
| 11 | 11 | |
| | 12 | from pkg_resources import resource_filename |
| 12 | 13 | |
| 13 | 14 | def stub(f): |
| 14 | 15 | def g(*args, **kwds): |
| … |
… |
|
| 156 | 157 | """ |
| 157 | 158 | return "0"*(size-len(str(s))) + str(s) |
| 158 | 159 | |
| 159 | | |
| 160 | | DATA = os.path.join(sys.prefix, 'lib', 'python', 'site-packages', 'sagenb', 'data') |
| | 160 | DATA = os.path.join(os.path.split(resource_filename(__name__, ''))[0], 'data') |
| 161 | 161 | |
| 162 | 162 | if os.environ.has_key('DOT_SAGENB'): |
| 163 | 163 | DOT_SAGENB = os.environ['DOT_SAGENB'] |