diff options
author | Hans Hagen <pragma@wxs.nl> | 2011-10-03 12:59:00 +0200 |
---|---|---|
committer | Hans Hagen <pragma@wxs.nl> | 2011-10-03 12:59:00 +0200 |
commit | 79d53c0a828babfb0935f98aee0fd82a39dbd220 (patch) | |
tree | 715351fc2a57f8247ed83378b32f172c15dff2e4 /tex/context/base/data-exp.lua | |
parent | 6cac96268d51a0eb798d5971107cacd71bc4f955 (diff) | |
download | context-79d53c0a828babfb0935f98aee0fd82a39dbd220.tar.gz |
beta 2011.10.03 12:59
Diffstat (limited to 'tex/context/base/data-exp.lua')
-rw-r--r-- | tex/context/base/data-exp.lua | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/tex/context/base/data-exp.lua b/tex/context/base/data-exp.lua index 82fedcf6e..52368f8a8 100644 --- a/tex/context/base/data-exp.lua +++ b/tex/context/base/data-exp.lua @@ -130,41 +130,6 @@ end -- {a,b,c/{p,q/{x,y,z},w}v,d/{p,q,r}} -- {$SELFAUTODIR,$SELFAUTOPARENT}{,{/share,}/texmf{-local,.local,}/web2c} --- local cleanup = lpeg.replacer { --- { "!" , "" }, --- { "\\" , "/" }, --- } --- --- local homedir --- --- function resolvers.cleanpath(str) -- tricky, maybe only simple paths --- if not homedir then --- homedir = lpegmatch(cleanup,environment.homedir or "") --- if homedir == char(127) or homedir == "" or not lfs.isdir(homedir) then --- if trace_expansions then --- report_expansions("no home dir set, ignoring dependent paths") --- end --- function resolvers.cleanpath(str) --- if find(str,"~") then --- return "" -- special case --- else --- return str and lpegmatch(cleanup,str) --- end --- end --- else --- cleanup = lpeg.replacer { --- { "!" , "" }, --- { "\\" , "/" }, --- { "~" , homedir }, --- } --- function resolvers.cleanpath(str) --- return str and lpegmatch(cleanup,str) --- end --- end --- end --- return resolvers.cleanpath(str) --- end - local cleanup = lpeg.replacer { { "!" , "" }, { "\\" , "/" }, |