Revision 34b1f2656678ccc55a88ed940d2aacd0cd046549 authored by Daniel Fort on 06 January 2017, 22:59:19 UTC, committed by Daniel Fort on 06 January 2017, 22:59:19 UTC
1 parent e6626c8
showlink.lua
function ShowLink(addr, name)
newname = name
if string.find(addr, "Video") then
return -- don't show videos
elseif string.find(addr, "Image") then
return -- don't show sample images
elseif string.find(addr, "magiclantern.wikia.com") and not string.find(name, "here") then
name = string.gsub(name, [[#]], [[\#]])
newname = "" .. name
elseif not string.find(addr, "amzn") and not string.find(addr, "sescom") then
-- escape TeX special characters and strip HTTP
local a = addr
a = string.gsub(a, [[http://]], [[]])
a = string.gsub(a, [[https://]], [[]])
a = string.gsub(a, [[&]], [[\&]])
a = string.gsub(a, [[_]], [[\_]])
a = string.gsub(a, [[#]], [[\#]])
a = string.gsub(a, [[%%]], [[\%%]])
a = string.gsub(a, [[/]], [[/\phantom{-}\hskip-1ex]])
newname = newname .. [[{ \scriptsize \textlangle ]] .. a .. [[\textrangle }]]
end
tex.print([[\oldhref{]] .. addr .. [[}{]] .. newname .. [[}]])
end
Computing file changes ...