Warning: this is an htmlized version!
The original is here, and the conversion rules are here. |
-- This file: -- http://anggtwu.net/blogme3/sandwiches-defs.lua.html -- http://anggtwu.net/blogme3/sandwiches-defs.lua -- (find-angg "blogme3/sandwiches-defs.lua") -- Author: Eduardo Ochs <eduardoochs@gmail.com> -- Version: 2022nov05 -- This file defines how many kinds of sexp hyperlinks are to be -- htmlized, using the classes SexpIntervals, SexpTarget, SexpHead, -- and HtmlizeLine of: -- -- (find-blogme3 "sandwiches.lua") -- -- This file supersedes my older methods of htmlizing lines of -- e-scripts, but it not yet default. To use it, run this: -- -- require "sandwiches-defs" -- use_sand_htmlizeline() -- «.get_1stclassvideo_field» (to "get_1stclassvideo_field") -- «.get_1stclassvideo_field-tests» (to "get_1stclassvideo_field-tests") -- «.sexp_to_target» (to "sexp_to_target") -- «.sexp_to_target-tests» (to "sexp_to_target-tests") -- «.code_c_m_bs» (to "code_c_m_bs") -- «.code_c_d_anggs» (to "code_c_d_anggs") -- «.code_c_d_remotes» (to "code_c_d_remotes") -- «.code_intros» (to "code_intros") -- «.code_intros-tests» (to "code_intros-tests") -- «.code_helponlys» (to "code_helponlys") -- «.find-node» (to "find-node") -- «.find-node-test» (to "find-node-test") -- «.to» (to "to") -- «.to-test» (to "to-test") -- «.code-pdf-page» (to "code-pdf-page") -- «.code-pdf-page-tests» (to "code-pdf-page-tests") -- «.code-ytvideo» (to "code-ytvideo") -- «.code-ytvideo-tests» (to "code-ytvideo-tests") -- «.find-youtubedl-links» (to "find-youtubedl-links") -- «.find-youtubedl-links-tests» (to "find-youtubedl-links-tests") -- -- «.code-eevvideo» (to "code-eevvideo") -- «.code-eevvideo-tests» (to "code-eevvideo-tests") -- «.code_eevshortvideo» (to "code_eevshortvideo") -- «.code_eevshortvideos» (to "code_eevshortvideos") -- «.code_eevshortvideo-tests» (to "code_eevshortvideo-tests") -- «.find-eevvideo-links» (to "find-eevvideo-links") -- «.find-1stclassvideos» (to "find-1stclassvideos") -- «.find-1stclassvideo-links» (to "find-1stclassvideo-links") -- «.find-1stclassvideo-links-tests» (to "find-1stclassvideo-links-tests") -- «.find-1stclassvideolsubs» (to "find-1stclassvideolsubs") -- «.find-1stclassvideolsubs-tests» (to "find-1stclassvideolsubs-tests") -- «.find-wgeteevsubtitles-links» (to "find-wgeteevsubtitles-links") -- «.find-wgeteevsubtitles-links-tests» (to "find-wgeteevsubtitles-links-tests") -- -- «.code_1stclassvideo» (to "code_1stclassvideo") -- «.code_1stclassvideo-tests» (to "code_1stclassvideo-tests") -- -- «.find-TH» (to "find-TH") -- «.find-TH-tests» (to "find-TH-tests") -- «.find-maximamsg» (to "find-maximamsg") -- «.find-maximamsg-tests» (to "find-maximamsg-tests") -- «.rstdoc» (to "rstdoc") -- «.find-pydoc» (to "find-pydoc") -- «.find-pydoc-tests» (to "find-pydoc-tests") -- «.use_sand_htmlizeline» (to "use_sand_htmlizeline") -- «.use_sand_htmlizeline-tests» (to "use_sand_htmlizeline-tests") -- «.Short_» (to "Short_") -- «.Short_-tests» (to "Short_-tests") -- «.code_helponly2» (to "code_helponly2") -- «.code_helponly2-tests» (to "code_helponly2-tests") -- «.agda» (to "agda") -- «.agda-tests» (to "agda-tests") -- «.find-hoogle» (to "find-hoogle") -- «.find-hoogle-tests» (to "find-hoogle-tests") -- «.find-cabal-links» (to "find-cabal-links") -- «.find-cabal-unpack» (to "find-cabal-unpack") -- «.find-cabal-links-tests» (to "find-cabal-links-tests") -- «.find-cabal-unpack-tests» (to "find-cabal-unpack-tests") -- «.code_helponly2_lines» (to "code_helponly2_lines") -- «.find-maximanode» (to "find-maximanode") -- «.find-maximanode-tests» (to "find-maximanode-tests") -- «.find-yttranscript-links» (to "find-yttranscript-links") -- «.find-yttranscript-links-tests» (to "find-yttranscript-links-tests") -- «.find-gitk» (to "find-gitk") -- «.find-gitk-tests» (to "find-gitk-tests") -- «.code_lsubs» (to "code_lsubs") -- «.code_lsubs-tests» (to "code_lsubs-tests") -- «.code-lsubs» (to "code-lsubs") -- «.code-lsubs-tests» (to "code-lsubs-tests") -- «.find-clhsdoci» (to "find-clhsdoci") -- «.find-clhsdoci-tests» (to "find-clhsdoci-tests") -- «.find-anchor» (to "find-anchor") -- «.find-anchor-tests» (to "find-anchor-tests") -- «.code-etex-tla» (to "code-etex-tla") -- «.code-etex-tla-tests» (to "code-etex-tla-tests") -- «.code-etex-tlas-load» (to "code-etex-tlas-load") require "sandwiches" -- (find-blogme3 "sandwiches.lua") require "sandwiches-videos" -- (find-blogme3 "sandwiches-videos.lua") require "cruft-jan2024" -- (find-blogme3 "cruft-jan2024.lua") get_mp4stem = function (c) local video = sandwiches_videos[c] local mp4 = video and video.mp4 return mp4 and mp4:match("/([^/]+)%.mp4") end -- «get_1stclassvideo_field» (to ".get_1stclassvideo_field") get_1stclassvideo_field = function (c, field) local entry = sandwiches_videos[c] return entry and entry[field] end get_1stclassvideo_hash = function (c) local yturl = get_1stclassvideo_field(c, "yt") return yturl and (yturl:gsub("^.-v=", "")) end get_1stclassvideo_yturl = function (c, time) local hash = get_1stclassvideo_hash(c) if not hash then return end return youtube_make_url(hash, time) end get_1stclassvideo_hsubs = function (c, time) local baseurl = get_1stclassvideo_field(c, "hsubs") if not baseurl then return end if time then return baseurl:match("^.-#")..time end return baseurl end get_1stclassvideo_lsubs = function (c) local mp4stem = get_mp4stem(c) if not mp4stem then return end return format("http://anggtwu.net/SUBTITLES/%s.lua.html", mp4stem) end get_1stclassvideo_def = function (c) if sandwiches_videos[c] then return "http://anggtwu.net/eev-current/eev-videolinks.el.html#" .. c end end get_1stclassvideo_index = function (c) if get_1stclassvideo_field(c, "index") then return "http://anggtwu.net/.emacs.videos.html#" .. c end end -- «get_1stclassvideo_field-tests» (to ".get_1stclassvideo_field-tests") --[[ * (eepitch-lua51) * (eepitch-kill) * (eepitch-lua51) Path.addLUAtopath() require "Tos3" -- (find-angg "LUA/Tos3.lua") dofile "sandwiches-defs.lua" PPI(sandwiches_videos) PPI(sandwiches_videos.oficina2021a) PPI(sandwiches_videos.oficina2021a.mp4) = get_1stclassvideo_field("foo", "mp4") = get_1stclassvideo_field("eev2021", "mp4") = get_1stclassvideo_field("eev2021", "hsubs") = get_1stclassvideo_hsubs("eev2021") = get_1stclassvideo_hsubs("eev2021", "02:34") = get_1stclassvideo_lsubs("eev2021", "02:34") = get_1stclassvideo_yturl("eev2021") = get_1stclassvideo_yturl("eev2021", "02:34") = get_1stclassvideo_hsubs("foo", "02:34") = get_1stclassvideo_lsubs("foo", "02:34") = get_1stclassvideo_def ("2022tikz") = get_1stclassvideo_index("2022tikz") = _SH["find-eev2021video"] PPI(_SH["find-eev2021video"]) --]] -- «sexp_to_target» (to ".sexp_to_target") -- (find-blogme3 "sandwiches.lua") -- (find-blogme3 "sandwiches.lua" "SexpIntervals") -- (find-blogme3 "sandwiches.lua" "SexpIntervals" "target_st =") -- sexp_to_target_si0 = function (linestr) -- for debugging local si = SexpIntervals.from(linestr) return si end sexp_to_target_si = function (linestr) -- for debugging local si = SexpIntervals.from(linestr) if not si then print("Bad linestr: "..linestr) end si:head_apply() return si end sexp_to_target_st = function (linestr) -- for debugging local si = SexpIntervals.from(linestr) local retval if not pcall(function () si:head_apply() retval = si:target_st() end) then error("Bad linestr: "..linestr) end return retval end sexp_to_target = function (linestr, altname) return sexp_to_target_st(linestr, altname):url() end -- «sexp_to_target-tests» (to ".sexp_to_target-tests") --[==[ * (eepitch-lua51) * (eepitch-kill) * (eepitch-lua51) dofile "sandwiches-defs.lua" -- (find-blogme3 "sandwiches.lua" "SexpIntervals") -- (find-blogme3 "sandwiches.lua" "SexpIntervals" "target_st =") code_intro("foobar") = sexp_to_target_st [[ (foo) ]] --> error = sexp_to_target_si0 [[ (find-foobar-intro "42.3. plic") ]] = sexp_to_target_si [[ (find-foobar-intro "42.3. plic") ]] = sexp_to_target_st [[ (find-foobar-intro "42.3. plic") ]] = sexp_to_target [[ (find-foobar-intro "42.3. plic") ]] = sexp_to_target_si [[ (find-lua51manual "#dofile") ]] = sexp_to_target_st [[ (find-lua51manual "#dofile") ]] = sexp_to_target [[ (find-lua51manual "#dofile") ]] = sexp_to_target [[ (eepitch-shell) ]] --]==] -- «code_c_m_bs» (to ".code_c_m_bs") -- See: (find-blogme3 "sandwiches.lua" "code_c_m_b") -- Some tests: -- (find-node "(emacs)Lisp Eval") -- (find-enode "Lisp Eval") -- (find-node "(elisp)Lisp Data Types") -- (find-elnode "Lisp Data Types") -- (find-node "(eshell)Built-ins") -- (find-eshellnode "Built-ins") -- (find-node "(cl)Loop Facility") -- (find-clnode "Loop Facility") -- (find-node "(org)Publishing") -- (find-orgnode "Publishing") code_c_m_b("e", "emacs", "https://www.gnu.org/software/emacs/manual/html_node/emacs/") code_c_m_b("el", "elisp", "https://www.gnu.org/software/emacs/manual/html_node/elisp/") code_c_m_b("eli", "eintr", "https://www.gnu.org/software/emacs/emacs-lisp-intro/html_node/") code_c_m_b("efaq", "efaq", "https://www.gnu.org/software/emacs/manual/html_node/efaq/") code_c_m_b("cl", "cl", "https://www.gnu.org/software/emacs/manual/html_node/cl/") code_c_m_b("calc", "calc", "https://www.gnu.org/software/emacs/manual/html_node/calc/") code_c_m_b("eshell", "eshell", "https://www.gnu.org/software/emacs/manual/html_node/eshell/") code_c_m_b("eieio", "eieio", "https://www.gnu.org/software/emacs/manual/html_node/eieio/") code_c_m_b("gnus", "gnus", "http://www.gnu.org/software/emacs/manual/html_node/gnus/") code_c_m_b("message", "message", "http://www.gnu.org/software/emacs/manual/html_node/message/") code_c_m_b("woman", "woman", "http://www.gnu.org/software/emacs/manual/html_node/woman/") code_c_m_b("rcirc", "rcirc", "http://www.gnu.org/software/emacs/manual/html_node/rcirc/") code_c_m_b("erc", "erc", "https://www.gnu.org/software/emacs/manual/html_node/erc/") code_c_m_b("org", "org", "http://www.gnu.org/software/emacs/manual/html_node/org/") code_c_m_b("gst", "gst", "http://www.gnu.org/software/smalltalk/manual/html_node/") code_c_m_b("gstbase", "gst-base", "http://www.gnu.org/software/smalltalk/manual-base/html_node/") code_c_m_b("gstlibs", "gst-libs", "http://www.gnu.org/software/smalltalk/manual-libs/html_node/") code_c_m_b("pclcvs", "pcl-cvs", "http://www.gnu.org/software/emacs/manual/html_node/pcl-cvs/") code_c_m_b("autotype", "autotype", "http://www.gnu.org/software/emacs/manual/html_node/autotype/") code_c_m_b("libc", "libc", "http://www.gnu.org/software/libc/manual/html_node/") code_c_m_b("make", "make", "http://www.gnu.org/software/make/manual/html_node/") code_c_m_b("grub", "grub", "https://www.gnu.org/software/grub/manual/grub/html_node/") code_c_m_b("gawk", "gawk", "http://www.gnu.org/software/gawk/manual/html_node/") code_c_m_b("texi", "texinfo", "http://www.gnu.org/software/texinfo/manual/texinfo/html_node/") code_c_m_b("gcc", "gcc-4.1", "http://gcc.gnu.org/onlinedocs/gcc-4.2.2/gcc/") code_c_m_b("coreutils", "coreutils", "http://www.gnu.org/software/coreutils/manual/html_node/") code_c_m_b("bash", "bash", "http://www.gnu.org/software/bash/manual/html_node/") code_c_m_b("bash", "bashref", "http://www.gnu.org/software/bash/manual/html_node/") code_c_m_b("wget", "wget", "http://www.gnu.org/software/wget/manual/html_node/") code_c_m_b("slime", "slime", "http://common-lisp.net/project/slime/doc/html/") code_c_m_b("slime", "slime", "https://slime.common-lisp.dev/doc/html/") code_c_m_b("bison", "bison", "http://www.gnu.org/software/bison/manual/html_node/") code_c_m_b("octave", "octave", "https://docs.octave.org/interpreter/") code_c_m_b("rcirc", "rcirc", "http://www.gnu.org/software/emacs/manual/html_node/rcirc/") code_c_m_b("binutils", "binutils", "http://sourceware.org/binutils/docs/binutils/") code_c_m_b("gdb", "gdb", "http://sourceware.org/gdb/download/onlinedocs/gdb/") code_c_m_b("parted", "parted", "https://www.gnu.org/software/parted/manual/html_node/") -- «code_c_d_anggs» (to ".code_c_d_anggs") -- (find-blogme3 "angglisp.lua" "code_c_d_angg") code_c_d_angg("angg", "") code_c_d_angg("es", "e/", ".e.html") code_c_d_angg("LATEX", "LATEX/") code_c_d_angg("dednat4", "dednat4/") code_c_d_angg("dn4", "dednat4/") code_c_d_angg("dn4ex", "dednat4/examples/") code_c_d_angg("dn5", "dednat5/") code_c_d_angg("dn6", "LATEX/dednat6/") code_c_d_angg("dednat6", "dednat6/") code_c_d_angg("dednat6lua", "dednat6/dednat6/") code_c_d_angg("blogme", "blogme/") code_c_d_angg("blogme3", "blogme3/") code_c_d_angg("blogme4", "blogme4/") code_c_d_angg("eev", "eev-current/") code_c_d_angg("eevgit", "GIT/") code_c_d_angg("flua", "flua/") code_c_d_angg("rubyforth", "rubyforth/") code_c_d_angg("vtutil", "vtutil/") code_c_d_angg("vtutil4", "vtutil4/") code_c_d_angg("RETRO", "RETRO/") code_c_d_angg("gab", "gab/") code_c_d_angg("eevvideos", "eev-videos/") code_c_d_angg("quadr", "quadradinho/") code_c_d_angg("ydb", "youtube-db/") code_c_d_angg("fbcache", "fbcache/") code_c_d_angg("clg", "2019-CLG/") code_c_d_angg("books", "books/") code_c_d_angg("SUBS", "SUBTITLES/") code_c_d_angg("emlua", "emlua/") code_c_d_angg("repl3", "LUA/") code_c_d_angg("showconses", "show-conses/") code_c_d_angg("lisptree", "lisptree/") code_c_d_angg("myqdraw", "myqdraw/") -- «code_c_d_remotes» (to ".code_c_d_remotes") -- (find-blogme3 "angglisp.lua" "code_c_d_remotes") -- code_c_d_remote("lua40manual", "http://www.lua.org/manual/4.0/manual.html") code_c_d_remote("lua50manual", "http://www.lua.org/manual/5.0/manual.html") code_c_d_remote("lua51manual", "http://www.lua.org/manual/5.1/manual.html") code_c_d_remote("lua52manual", "http://www.lua.org/manual/5.2/manual.html") code_c_d_remote("lua53manual", "http://www.lua.org/manual/5.3/manual.html") code_c_d_remote("lua54manual", "http://www.lua.org/manual/5.4/manual.html") code_c_d_remote("luamanual", "http://www.lua.org/manual/5.1/manual.html") code_c_d_remote("lpegmanual", "http://www.inf.puc-rio.br/~roberto/lpeg/lpeg.html") -- «code_intros» (to ".code_intros") -- ee_intro_stems = [[ anchors audiovideo bounded brxxx channels code-c-d debootstrap defun dot-emacs edit-index eejump eepitch eev eev-exercises eev-install eev-levels eev-quick elisp emacs emacs-keys escripts eval git here-links kl-here kla lean4 lexical links-conv links lua-tutorial multiwindow org pdf-like prepared psne rcirc refining rstdoc saving-links show2 strange-functions templates three-main-keys try-sly videos video-links windows-beginner wrap lisptree show-conses ]] for _,stem in ipairs(split(ee_intro_stems)) do code_intro(stem) end -- «code_intros-tests» (to ".code_intros-tests") --[==[ * (eepitch-lua51) * (eepitch-kill) * (eepitch-lua51) dofile "sandwiches-defs.lua" = sexp_to_target [[ (find-elisp-intro) ]] = sexp_to_target [[ (find-elisp-intro "2.34.") ]] --]==] -- «code_helponlys» (to ".code_helponlys") -- (to "code_morehelponlys") code_helponly_lines [[ eelatex-bounded (find-bounded-intro) eev-bounded (find-bounded-intro) eev-beginner (find-eev-quick-intro "1. Installing eev") ee-use-red-bullets (find-eev-quick-intro "6.4. Red stars") ee-use-red-stars (find-eev-quick-intro "6.4. Red stars") eek (find-eev-quick-intro "3. Elisp hyperlinks") find-efunction (find-eev-quick-intro "3. Elisp hyperlinks") find-efunctiondescr (find-eev-quick-intro "3. Elisp hyperlinks") find-efunctionpp (find-elisp-intro "11. Byte-compiled functions") find-elongkey-links (find-eev-quick-intro "4.2. `find-ekey-links' and friends") find-fline (find-eev-quick-intro "3. Elisp hyperlinks") find-man (find-eev-quick-intro "3. Elisp hyperlinks") find-node (find-eev-quick-intro "3. Elisp hyperlinks") find-sh (find-eev-quick-intro "3. Elisp hyperlinks") find-sh0 (find-eev-quick-intro "3. Elisp hyperlinks") brg (find-eev-quick-intro "3.1. Non-elisp hyperlinks") eepitch (find-eev-quick-intro "6. Controlling shell-like programs") eepitch-kill (find-eev-quick-intro "6. Controlling shell-like programs") eepitch-shell (find-eev-quick-intro "6. Controlling shell-like programs") eepitch-bash (find-eev-quick-intro "6.2. Other targets") eepitch-ghci (find-eev-quick-intro "6.2. Other targets") eepitch-lua51 (find-eev-quick-intro "6.2. Other targets") eepitch-python (find-eev-quick-intro "6.2. Other targets") eepitch-maxima (find-eev-quick-intro "6.2. Other targets") eepitch-tcl (find-eev-quick-intro "6.2. Other targets") eepitch (find-eepitch-intro "2.3. `eepitch'") eepitch-kill (find-eepitch-intro "2.2. `(eepitch-kill)'") find-3EE (find-eepitch-intro "1.2. Two targets") code-c-d (find-eev-quick-intro "9. Shorter hyperlinks") find-pdf-page (find-pdf-like-intro "4. Hyperlinks to pages of PDF files") find-pdf-text (find-pdf-like-intro "4. Hyperlinks to pages of PDF files") find-xpdfpage (find-pdf-like-intro "4. Hyperlinks to pages of PDF files") code-pdf-page (find-pdf-like-intro "7. Shorter hyperlinks to PDF files") code-pdf-text (find-pdf-like-intro "7. Shorter hyperlinks to PDF files") find-audio (find-audiovideo-intro "1. Time offsets") find-video (find-audiovideo-intro "1. Time offsets") code-audio (find-audiovideo-intro "4. Short hyperlinks to audio and video files") code-video (find-audiovideo-intro "4. Short hyperlinks to audio and video files") find-anchor (find-eev-quick-intro "8.5. Hyperlinks to anchors in other files") ]] -- «find-node» (to ".find-node") -- _SH["find-node"] = SexpHead { head = "find-node", help = sexp_to_target_st [[ (find-eev-quick-intro "3. Elisp hyperlinks") ]], f = function (sh, si) si:add_filling(1, nil, "help", sh.help) local ab = si:sexp_strarg(2) if not ab then return end local a, b = ab:match("^%(([^()]+)%)(.*)$") if not a then return end local target = SexpTarget {f="find_node", manual=a, node=b} if target then si:add_filling("e", nil, "target", target) end end, } -- «find-node-test» (to ".find-node-test") --[==[ * (eepitch-lua51) * (eepitch-kill) * (eepitch-lua51) dofile "sandwiches-defs.lua" = sexp_to_target [[ (find-node "(emacs)Keys") ]] linestr = [[ (find-node "(PATATA)Keys") ]] si = SexpIntervals.from(linestr) si:head_apply() = si = si:tosandwich() = si:target_st() = si:target_st():url() hl = HtmlizeLine {} = hl:line(linestr) --]==] -- «to» (to ".to") -- _SH["to"] = SexpHead { head = "to", help = sexp_to_target_st [[ (find-eev-quick-intro "8.1. Introduction: `to'") ]], f = function (sh, si) si:add_filling(1, nil, "help", sh.help) local a = si:sexp_strarg(2) if not a then return end local target = SexpTarget.from("#"..a) if target then si:add_filling("e", nil, "target", target) end end, } -- «to-test» (to ".to-test") --[==[ * (eepitch-lua51) * (eepitch-kill) * (eepitch-lua51) dofile "sandwiches-defs.lua" = sexp_to_target [[ (find-node "(emacs)Keys") ]] linestr = [[ (find-node "(PATATA)Keys") ]] si = SexpIntervals.from(linestr) si:head_apply() = si = si:tosandwich() = si:target_st() = si:target_st():url() hl = HtmlizeLine {} = hl:line(linestr) --]==] -- «code-pdf-page» (to ".code-pdf-page") -- _SH["code-pdf-page"] = SexpHead { head = "code-pdf-page", help = sexp_to_target_st [[ (find-pdf-like-intro "7. Shorter hyperlinks to PDF files") ]], f = function (sh, si) si:add_filling(1, nil, "help", sh.help) local c = si:sexp_strarg(2) local fname = si:sexp_strarg(3) if c and fname then local pdfurl = code_pdf_geturl(fname) if pdfurl then si:add_filling(3, 1, "pdf", pdfurl) code_pdf(c, pdfurl) end end end, } code_pdf_geturl = function (fname) local prot,rest = fname:match("^%$S/(https?)/(.*)$") if prot then return prot.."://"..rest end local LATEXrest = fname:match("^~/(LATEX/.*)$") if LATEXrest then return "http://anggtwu.net/"..LATEXrest end local dednat6rest = fname:match("^~/(dednat6/.*)$") if dednat6rest then return "http://anggtwu.net/"..dednat6rest end end code_pdf = function (c, pdfurl) local find_cpage = "find-"..c.."page" _SH[find_cpage] = SexpHead { head = find_cpage, help = sexp_to_target_st [[ (find-pdf-like-intro "7. Shorter hyperlinks to PDF files") ]], f = function (sh, si) si:add_filling(1, nil, "help", sh.help) local page = si:sexp_numericarg(2) if page then local target = SexpTarget {f="find_pdf", pdfurl=pdfurl, page=page} si:add_filling(2, 0, "target", target) end end, } end -- «code-pdf-page-tests» (to ".code-pdf-page-tests") -- --[==[ * (eepitch-lua51) * (eepitch-kill) * (eepitch-lua51) dofile "sandwiches-defs.lua" linestr = [[ (code-pdf-page "foo" "$S/https/www2.cs.arizona.edu/icon/ftp/doc/lb1up.pdf") ]] linestr = [[ (code-pdf-page "foo" "~/LATEX/foo.pdf") ]] si = SexpIntervals.from(linestr) si:head_apply() = si = si:tosandwich() = _SH["find-foopage"] linestr = [[ (find-foopage (+ 2 3)) ]] si = SexpIntervals.from(linestr) si:head_apply() = si = si:tosandwich() = si:name_to_st("2") = si:name_to_st("2"):url() * (eepitch-lua51) * (eepitch-kill) * (eepitch-lua51) dofile "sandwiches-defs.lua" = sexp_to_target_si [[ (find-maximawbpage (+ 20 19) "foo") ]] = sexp_to_target_si [[ (code-pdf-page "maximawb" "$S/http/roland-salz.de/Maxima_Workbook.pdf") ]] = sexp_to_target_si [[ (find-maximawbpage (+ 20 19) "foo") ]] linestr = [[ (find-maximawbpage (+ 20 19) "foo") ]] si = SexpIntervals.from(linestr) = si si:head_apply() = si = si:name_to_st("2") = si:name_to_st("2"):url() --]==] -- «code-ytvideo» (to ".code-ytvideo") -- Experimental, 2021dec13 -- _SH["code-ytvideo"] = SexpHead { head = "code-ytvideo", help = sexp_to_target_st [[ (find-audiovideo-intro "4. Short hyperlinks to audio and video files") ]], f = function (sh, si) si:add_filling(1, nil, "help", sh.help) local c = si:sexp_strarg(2) local localfile = si:sexp_strarg(3) if localfile then local hash = to_youtube_hash(localfile) PP(c, localfile, hash) si:add_filling(3, 1, "localfile", youtube_make_url(hash)) code_youtube(c, hash) end end, } -- «code-ytvideo-tests» (to ".code-ytvideo-tests") -- --[==[ * (eepitch-lua51) * (eepitch-kill) * (eepitch-lua51) dofile "sandwiches-defs.lua" = sexp_to_target_st [[ (find-orglinks1video "5:00" "#MyID123") ]] --> err = sexp_to_target_si [[ (code-ytvideo "orglinks1video" "foo-eoIfLS4zMa8.mkv") ]] = sexp_to_target_st [[ (find-orglinks1video "5:00" "#MyID123") ]] --]==] -- «find-youtubedl-links» (to ".find-youtubedl-links") -- _SH["find-youtubedl-links"] = SexpHead { head = "find-youtubedl-links", help = sexp_to_target_st [[ (find-eev "eev-tlinks.el" "find-youtubedl-links") ]], f = function (sh, si) si:add_filling(1, nil, "help", sh.help) local hash = si:sexp_strarg(4) if hash then si:add_filling(4, 1, "yt", youtube_make_url(hash)) end end, } -- «find-youtubedl-links-tests» (to ".find-youtubedl-links-tests") --[==[ * (eepitch-lua51) * (eepitch-kill) * (eepitch-lua51) dofile "sandwiches-defs.lua" = sexp_to_target_si [[ (find-youtubedl-links "/sda5/videos/" nil "eoIfLS4zMa8" nil "orglinks1") ]] --]==] -- _ _ _ -- ___ ___ __| | ___ ___ _____ ____ _(_) __| | ___ ___ -- / __/ _ \ / _` |/ _ \_____ / _ \/ _ \ \ / /\ \ / / |/ _` |/ _ \/ _ \ -- | (_| (_) | (_| | __/_____| __/ __/\ V / \ V /| | (_| | __/ (_) | -- \___\___/ \__,_|\___| \___|\___| \_/ \_/ |_|\__,_|\___|\___/ -- -- «code-eevvideo» (to ".code-eevvideo") -- _SH["code-eevvideo"] = SexpHead { head = "code-eevvideo", help = sexp_to_target_st [[ (find-audiovideo-intro "7.1. `code-eevvideo'") ]], f = function (sh, si) si:add_filling(1, nil, "help", sh.help) local c = si:sexp_strarg(2) local mp4stem = si:sexp_strarg(3) local hash = si:sexp_strarg(4) if mp4stem then mp4url = "http://anggtwu.net/eev-videos/"..mp4stem..".mp4" si:add_filling(3, 1, "mp4", mp4url) end if c and hash then -- 2022may21: do not override local f_cvideo = format("find-%svideo", c) if not f_cvideo then code_youtube(c.."video", hash) end si:add_filling(4, 1, "yt", youtube_make_url(hash)) end end, } -- «code-eevvideo-tests» (to ".code-eevvideo-tests") -- --[==[ * (eepitch-lua51) * (eepitch-kill) * (eepitch-lua51) dofile "sandwiches-defs.lua" linestr = [[ (code-eevvideo "eev2019" "emacsconf2019" "86yiRG8YJD0") ]] si = SexpIntervals.from(linestr) si:head_apply() = si = si:tosandwich() linestr = [[ (find-eev2019video) ]] si = SexpIntervals.from(linestr) si:head_apply() = si = si:tosandwich() linestr = [[ (find-eev2019video "1:23") ]] si = SexpIntervals.from(linestr) si:head_apply() = si = si:tosandwich() --]==] -- «code_eevshortvideo» (to ".code_eevshortvideo") -- Similar to "code-eevvideo", but the help link points to: -- (find-video-links-intro "2. From the HTML") -- and the set of "code-eevshortvideo"s is small and hardcoded. -- -- TODO: rename this, as the "eevshortvideos" are now "1stclassvideos"... -- code_eevshortvideo = function (stem, mp4stem, hash) local head = "find-"..stem.."video" -- local help = sexp_to_target_st -- [[ (find-videos-intro "2. Short links to eev video tutorials") ]] local help = sexp_to_target_st [[ (find-video-links-intro "2. From the HTML") ]] _SH[head] = SexpHead { ORIG = "code_eevshortvideo", head = head, help = help, f = function (sh, si) si:add_filling(1, nil, "help", sh.help) local time = si:sexp_strarg(2) if time then si:add_filling(2, 1, "yt", youtube_make_url(hash, time)) end end, } end -- «code_eevshortvideos» (to ".code_eevshortvideos") code_eevshortvideo("2021ffll", "2021-ffll", "h1CEL2fmkyc") code_eevshortvideo("2021orgfornonusers", "2021-org-for-non-users", "Eh5Wz9Vh_XM") code_eevshortvideo("2021workshop1", "2021-workshop-1", "HuqJFPD871E") code_eevshortvideo("2021workshop2", "2021-workshop-2", "hqqIlZBXNhk") code_eevshortvideo("2021workshop3", "2021-workshop-3", "r83inf9s8zo") code_eevshortvideo("2021workshop4", "2021-workshop-4", "lhpHHjBUxv8") code_eevshortvideo("2021workshop5", "2021-workshop-5", "VzRsterVSXs") code_eevshortvideo("2021workshop6", "2021-workshop-6", "-gi15-liGaU") code_eevshortvideo("2022eevmake0", "2022-eev-make-0", "Iql5C-yQk5c") code_eevshortvideo("2022findeevangg", "2022-find-eev-angg", "FoAzpGzFCSE") code_eevshortvideo("2022findelispintro", "2022-find-elisp-intro", "WowDSciGs1A") code_eevshortvideo("eev2019", "emacsconf2019", "86yiRG8YJD0") code_eevshortvideo("eev2020", "emacsconf2020", "hOAqBc42Gg8") code_eevshortvideo("eev2021", "emacsconf2021", "qM0Luz78qGw") code_eevshortvideo("eev2021b", "emacsconf2021-dednat6", "QUMo7vgkHJI") code_eevshortvideo("eev2022kla", "emacsconf2022-kla", "KRobfwXd7Cw") code_eevshortvideo("eev2022py", "emacsconf2022-py", "QeqCYQSlz-I") code_eevshortvideo("eev2023repls", "emacsconf2023-repls", "IDBQo_YYfA8") code_eevshortvideo("eev2023replsb", "emacsconf2023-repls-b", "s3enXsuXyNg") code_eevshortvideo("eevfherel", "2020-find-here-links", "8jtiBlaDor4") code_eevshortvideo("eevnav", "2020-list-packages-eev-nav", "kxBjiUo88_U") code_eevshortvideo("eevtempl", "2020-some-template-based", "91-9YfRPsuk") code_eevshortvideo("eevtestbls", "2021-test-blocks", "fpsF_M55W4o") code_eevshortvideo("eevvlinks", "2021-video-links", "xQqWufQgzVY") code_eevshortvideo("oficina20210", "2021projeto-de-ensino", "OW6WRnSQwc0") code_eevshortvideo("oficina2021a", "2021-oficina-1", "acFPMuZ5Jf4") code_eevshortvideo("oficina2021b", "2021-oficina-2", "XbuDnkfizYs") code_eevshortvideo("2022pict2elua", "2022-pict2e-lua", "hiHsUhGVLGM") code_eevshortvideo("2022eevwconfig", "2022-eev-wconfig", "Rm29XSdGCXw") code_eevshortvideo("2022eevwconfigpt1", "2022-eev-wconfig-pt-1", "bdLbocmo3r8") code_eevshortvideo("2022eevwconfigpt2", "2022-eev-wconfig-pt-2", "ZAAxrJX-Am8") code_eevshortvideo("2022yttranscript", "2022-yttranscript", "SW3Tx-lHX3o") code_eevshortvideo("2022tikz", "2022-eev-tikz", "d7nIzpXcV6c") code_eevshortvideo("2024git", "2024-eev-git", "lsVvokjqMY0") code_eevshortvideo("2024luaso", "2024-find-luaso-links", "zUW-6atPvUQ") code_eevshortvideo("cae0", "2023-caepro0", "XxnfW90kbZU") code_eevshortvideo("caev", "2023-caepro-VR", "JoAQ6TsFlto") code_eevshortvideo("caes", "2023-caepro-o-que-sobra", "sZq2PgbLN5k") code_eevshortvideo("c2m211somas1d", "2021-1-C2-somas-1-dicas", "pCD1p9FZYdI") code_eevshortvideo("2021saptleg", "2021aulas-por-telegram", "OofZQYkNVhg") code_eevshortvideo("calceasy", "mathologer-calculus-easy", "kuOxDh3egN0") code_eevshortvideo("c3m211cn", "2021-1-C3-curvas-de-nivel", "mrNyBAMOyqo") code_eevshortvideo("c3m211cn2", "2021-1-C3-curvas-de-nivel-2", "usBNtNyZRCA") code_eevshortvideo("c3cd", "2021-2-c3-cabos-na-diagonal", "nxsIK0tPWAI") code_eevshortvideo("visaud", "2023-visual-vs-auditivo", "vVNpWTYR4wE") code_eevshortvideo("slogans", "2023-precisamos-de-mais-slogans", "qwTqIBlu9CM") code_eevshortvideo("2024algpergs", "2024-algumas-perguntas", "FjhyhTxN_-o") code_eevshortvideo("2024lean4of0", "2024-lean4-oficina-0", "vBkxGIrv2Q0") code_eevshortvideo("2024lean4of0a2", "2024-lean4-oficina-0-aula-2", "MXUJ8YLp5dU") code_eevshortvideo("2024convite", "2024-convite-maxima", "wVwxugy15cU") code_eevshortvideo("2024trywithasexp", "2024-trying-eev-with-a-sexp", "BzovupjRhQM") code_eevshortvideo("2024bashtest", "2024-bash-test-blocks", "hok5wH4XBYg") code_eevshortvideo("eev2024", "emacsconf2024", "ZQ4mUSRcqJc") -- «code_eevshortvideo-tests» (to ".code_eevshortvideo-tests") --[==[ * (eepitch-lua51) * (eepitch-kill) * (eepitch-lua51) dofile "sandwiches-defs.lua" = _SH = _SH["find-2021workshop3video"] linestr = [[ (find-eev2019video "1:23") ]] linestr = [[ (find-2021workshop3video "1:23") ]] si = SexpIntervals.from(linestr) si:head_apply() = si = si:tosandwich() --]==] -- «find-eevvideo-links» (to ".find-eevvideo-links") -- _SH["find-eevvideo-links"] = SexpHead { head = "find-eevvideo-links", help = sexp_to_target_st [[ (find-audiovideo-intro "7.2. `find-eevvideo-links'") ]], f = function (sh, si) si:add_filling(1, nil, "help", sh.help) local c = si:sexp_strarg(2) local mp4stem = si:sexp_strarg(3) local hash = si:sexp_strarg(4) if mp4stem then local mp4url = "http://anggtwu.net/eev-videos/"..mp4stem..".mp4" si:add_filling(3, 1, "mp4", mp4url) end if c and hash then code_youtube(c.."video", hash) si:add_filling(4, 1, "yt", youtube_make_url(hash)) end end, } -- «find-1stclassvideos» (to ".find-1stclassvideos") -- _SH["find-1stclassvideos"] = SexpHead { head = "find-1stclassvideos", help = sexp_to_target_st [[ (find-video-links-intro "9. First-class videos") ]], f = function (sh, si) si:add_filling(1, nil, "help", sh.help) end, } _SH["find-1stclassvideoindex"] = SexpHead { head = "find-1stclassvideoindex", help = sexp_to_target_st [[ (find-video-links-intro "9. First-class videos") ]], f = function (sh, si) si:add_filling(1, nil, "help", sh.help) local c = si:sexp_strarg(2) if c then local moreinfo = "http://anggtwu.net/.emacs.videos.html#"..c si:add_filling(2, 1, "moreinfo", moreinfo) end end, } _SH["find-1stclassvideodef"] = SexpHead { head = "find-1stclassvideodef", help = sexp_to_target_st [[ (find-video-links-intro "9. First-class videos") ]], f = function (sh, si) si:add_filling(1, nil, "help", sh.help) local c = si:sexp_strarg(2) if c then local moreinfo = "http://anggtwu.net/eev-current/eev-videolinks.el.html#"..c si:add_filling(2, 1, "moreinfo", moreinfo) end end, } -- «find-1stclassvideo-links» (to ".find-1stclassvideo-links") -- Skel: (find-sandwiches-def-links "find-1stclassvideo-links") -- _SH["find-1stclassvideo-links"] = SexpHead { head = "find-1stclassvideo-links", help = sexp_to_target_st [[ (find-video-links-intro "9. First-class videos") ]], f = function (sh, si) si:add_filling(1, nil, "help", sh.help) local c = si:sexp_strarg(2) if c then -- local moreinfo = "http://anggtwu.net/.emacs.videos.html#"..c local moreinfo = "http://anggtwu.net/eev-current/eev-videolinks.el.html#"..c si:add_filling(2, 1, "moreinfo", moreinfo) end end, } -- «find-1stclassvideo-links-tests» (to ".find-1stclassvideo-links-tests") --[==[ * (eepitch-lua51) * (eepitch-kill) * (eepitch-lua51) dofile "sandwiches-defs.lua" = sexp_to_target_si [[ (find-1stclassvideo-links "eev2019") ]] = sexp_to_target_st [[ (find-1stclassvideo-links "eev2019") ]] --]==] -- «find-1stclassvideolsubs» (to ".find-1stclassvideolsubs") -- Skel: (find-sandwiches-def-links "find-1stclassvideolsubs") -- _SH["find-1stclassvideolsubs"] = SexpHead { head = "find-1stclassvideolsubs", help = "http://anggtwu.net/eev-videos.html#subed", f = function (sh, si) si:add_filling(1, nil, "help", sh.help) local c = si:sexp_strarg(2) local mp4stem = c and get_mp4stem(c) local fmt = "http://anggtwu.net/SUBTITLES/%s.lua.html" local tgt = mp4stem and format(fmt, mp4stem) if mp4stem then si:add_filling(2, 1, "mp4stem", tgt) end end, } -- «find-1stclassvideolsubs-tests» (to ".find-1stclassvideolsubs-tests") --[==[ * (eepitch-lua51) * (eepitch-kill) * (eepitch-lua51) dofile "sandwiches-defs.lua" = sexp_to_target_si [[ (find-1stclassvideolsubs "eev2019") ]] = sexp_to_target_st [[ (find-1stclassvideolsubs "eev2019") ]] PPPV(_SH["find-1stclassvideolsubs"]) PPPV(_SH["find-1stclassvideolsubs"].help) --]==] -- «find-wgeteevsubtitles-links» (to ".find-wgeteevsubtitles-links") -- _SH["find-wgeteevsubtitles-links"] = SexpHead { head = "find-wgeteevsubtitles-links", help = sexp_to_target_st [[ (find-eev "eev-tlinks.el" "find-wgeteevsubtitles-links") ]], f = function (sh, si) si:add_filling(1, nil, "help", sh.help) local hash = si:sexp_strarg(4) if hash then si:add_filling(4, 1, "yt", youtube_make_url(hash)) end end, } -- «find-wgeteevsubtitles-links-tests» (to ".find-wgeteevsubtitles-links-tests") --[==[ * (eepitch-lua51) * (eepitch-kill) * (eepitch-lua51) dofile "sandwiches-defs.lua" = sexp_to_target_si [[ (find-wgeteevsubtitles-links "foo" "bar") ]] --]==] -- _ _ _ _ _ -- / |___| |_ ___| | __ _ ___ _____ _(_) __| | ___ ___ ___ -- | / __| __/ __| |/ _` / __/ __\ \ / / |/ _` |/ _ \/ _ \/ __| -- | \__ \ || (__| | (_| \__ \__ \\ V /| | (_| | __/ (_) \__ \ -- |_|___/\__\___|_|\__,_|___/___/ \_/ |_|\__,_|\___|\___/|___/ -- -- Written in 2024feb25. -- This should replace several of the functions above. -- -- «code_1stclassvideo» (to ".code_1stclassvideo") -- Skel: (find-sandwiches-def-links "code_1stclassvideo") code_1stclassvideo = function (c) local headvideo = "find-"..c.."video" local headlsubs = "find-"..c.."lsubs" local headhsubs = "find-"..c.."hsubs" local has_lsubs = get_1stclassvideo_field(c, "subs") local has_hsubs = get_1stclassvideo_field(c, "hsubs") local help = sexp_to_target_st [[ (find-video-links-intro "2. From the HTML") ]] local help = "http://anggtwu.net/eev-videos.html#first-class-videos" -- _SH[headvideo] = SexpHead { ORIG = "code_1stclassvideo", head = headvideo, help = help, f = function (sh, si) si:add_filling(1, nil, "help", sh.help) local time = si:sexp_strarg(2) if time then si:add_filling(2, 1, "yt", get_1stclassvideo_yturl(c, time)) end end, } -- if has_lsubs then _SH[headlsubs] = SexpHead { ORIG = "code_1stclassvideo", head = headlsubs, help = help, f = function (sh, si) si:add_filling(1, nil, "help", sh.help) local time = si:sexp_strarg(2) if time then si:add_filling(2, 1, "lsubs", get_1stclassvideo_lsubs(c, time)) end end, } end -- if has_hsubs then _SH[headhsubs] = SexpHead { ORIG = "code_1stclassvideo", head = headhsubs, help = help, f = function (sh, si) si:add_filling(1, nil, "help", sh.help) local time = si:sexp_strarg(2) if time then si:add_filling(2, 1, "hsubs", get_1stclassvideo_hsubs(c, time)) end end, } end end code_1stclassvideos = function () for _,c in ipairs(sortedkeys(sandwiches_videos)) do code_1stclassvideo(c) end end code_1stclassvideos() -- «code_1stclassvideo-tests» (to ".code_1stclassvideo-tests") -- (find-2022tikzvideo "12:33") -- (find-2022tikzhsubs "12:33") -- (find-2022tikzlsubs "12:33") --[==[ * (eepitch-lua51) * (eepitch-kill) * (eepitch-lua51) dofile "sandwiches-defs.lua" = sexp_to_target_si [[ (find-2022tikzvideo "12:33") ]] = sexp_to_target_st [[ (find-2022tikzvideo "12:33") ]] = sexp_to_target_si [[ (find-2022tikzhsubs "12:33") ]] = sexp_to_target_st [[ (find-2022tikzhsubs "12:33") ]] = sexp_to_target_si [[ (find-2022tikzlsubs "12:33") ]] = sexp_to_target_st [[ (find-2022tikzlsubs "12:33") ]] --]==] -- «find-TH» (to ".find-TH") -- Skel: (find-sandwiches-def-links "find-TH") -- _SH["find-TH"] = SexpHead { head = "find-TH", -- help = sexp_to_target_st [[ (find-eev "eev-tlinks.el" "find-TH") ]], f = function (sh, si) -- si:add_filling(1, nil, "help", sh.help) local fmt = "http://anggtwu.net/%s.html%s" local stem = si:sexp_strarg(2) local anchor = si:sexp_strarg(3) local hashanchor = anchor and "#"..anchor or "" local target = stem and format(fmt, stem, hashanchor) if stem then si:add_filling("e", nil, "target", target) end end, } -- «find-TH-tests» (to ".find-TH-tests") --[==[ * (eepitch-lua51) * (eepitch-kill) * (eepitch-lua51) dofile "sandwiches-defs.lua" = sexp_to_target_si [[ (find-TH "eev-videos") ]] = sexp_to_target_st [[ (find-TH "eev-videos") ]] = sexp_to_target_si [[ (find-TH "eev-videos" "mpv-keys") ]] = sexp_to_target_st [[ (find-TH "eev-videos" "mpv-keys") ]] --]==] -- «find-maximamsg» (to ".find-maximamsg") -- (find-angg ".emacs.templates" "find-maximamsg") -- _SH["find-maximamsg"] = SexpHead { head = "find-maximamsg", help = sexp_to_target_st [[ (find-TH "find-maximamsg") ]], f = function (sh, si) si:add_filling(1, nil, "help", sh.help) local msgspec = si:sexp_strarg(2) if msgspec then local yyyymm = split(msgspec)[1] or "" local url = "https://sourceforge.net/p/maxima/mailman/message/"..yyyymm.."/" si:add_filling(2, 1, "mml", url) end end, } -- «find-maximamsg-tests» (to ".find-maximamsg-tests") --[==[ * (eepitch-lua51) * (eepitch-kill) * (eepitch-lua51) dofile "sandwiches-defs.lua" = sexp_to_target_si [[ (find-maximamsg "37675653 202207 1" "structural") ]] = sexp_to_target_st [[ (find-maximamsg "37675653 202207 1" "structural") ]] --]==] -- «rstdoc» (to ".rstdoc") -- (find-eev "eev-rstdoc.el") rstdoc_help = "http://anggtwu.net/eev-current/eev-rstdoc.el.html" rstdoc_base_py = "https://docs.python.org/3/" rstdoc_base_sympy = "https://docs.sympy.org/latest/" rstdoc_base_mpl = "https://matplotlib.org/stable/" rstdoc_base_ghcug = "https://downloads.haskell.org/ghc/latest/docs/users_guide/" rstdoc_base_h98 = "https://www.haskell.org/onlinereport/" rstdoc_base_h98t = "https://www.haskell.org/tutorial/" rstdoc_base_clhs = "http://www.lispworks.com/documentation/HyperSpec/" rstdoc_base_fennel = "https://fennel-lang.org/" rstdoc_base_gd3 = "https://docs.godotengine.org/en/3.5/" rstdoc_base_J = "https://www.jsoftware.com/help/" rstdoc_base_penlight = "https://lunarmodules.github.io/Penlight/" rstdoc_base_nodejs = "https://nodejs.org/dist/latest-v20.x/docs/api/" rstdoc_base_leanref = "https://leanprover.github.io/reference/" rstdoc_base_leanmeta = "https://leanprover-community.github.io/lean4-metaprogramming-book/" rstdoc_base_lean4 = "https://lean-lang.org/lean4/doc/" rstdoc_base_leantpil = "https://lean-lang.org/theorem_proving_in_lean4/" rstdoc_base_fplean4 = "https://lean-lang.org/functional_programming_in_lean/" rstdoc_base_leanmaths = "https://leanprover-community.github.io/mathematics_in_lean/" rstdoc_base_mechprf = "https://hrmacbeth.github.io/math2001/" rstdoc_base_tclean4 = "https://ammkrn.github.io/type_checking_in_lean4/" rstdoc_base_tpil4 = "https://lean-lang.org/theorem_proving_in_lean4/" rstdoc_base_sqlite3 = "https://www.sqlite.org/" -- (find-blogme3-rstdoc-links "sqlite3") rstdoc_url = function (base, str, htm) local a,b = str:match("^([^#]*)(#?.*)$") return base..a..(htm or ".html")..b end rstdoc_f = function (sh, si) si:add_filling(1, nil, "help", sh.help) local str = si:sexp_strarg(2) if str then si:add_filling(2, 1, "tgt", rstdoc_url(sh.base, str, sh.htm)) end end -- «find-pydoc» (to ".find-pydoc") -- (find-pydocw "index") -- (find-sympydocw "index") -- (find-pydoc "tutorial/index") -- _SH["find-pydoc"] = SexpHead { head = "find-pydoc", help = rstdoc_help, base = rstdoc_base_py, f = rstdoc_f, } _SH["find-sympydoc"] = SexpHead { head = "find-sympydoc", help = rstdoc_help, base = rstdoc_base_sympy, f = rstdoc_f, } _SH["find-mpldoc"] = SexpHead { head = "find-mpldoc", help = rstdoc_help, base = rstdoc_base_mpl, f = rstdoc_f, } _SH["find-ghcugdoc"] = SexpHead { head = "find-ghcugdoc", help = rstdoc_help, base = rstdoc_base_ghcug, f = rstdoc_f, } _SH["find-h98doc"] = SexpHead { head = "find-h98doc", help = rstdoc_help, base = rstdoc_base_h98, f = rstdoc_f, } _SH["find-h98tdoc"] = SexpHead { head = "find-h98tdoc", help = rstdoc_help, base = rstdoc_base_h98t, f = rstdoc_f, } _SH["find-clhsdoc"] = SexpHead { head = "find-clhsdoc", help = rstdoc_help, base = rstdoc_base_clhs, htm = ".htm", f = rstdoc_f, } _SH["find-fenneldoc"] = SexpHead { head = "find-fenneldoc", help = rstdoc_help, base = rstdoc_base_fennel, f = rstdoc_f, } _SH ["find-fenneldocw"] = _SH["find-fenneldoc"] _SH["find-gd3doc"] = SexpHead { head = "find-gd3doc", help = rstdoc_help, base = rstdoc_base_gd3, f = rstdoc_f, } _SH["find-Jdoc"] = SexpHead { head = "find-Jdoc", help = rstdoc_help, base = rstdoc_base_J, htm = ".htm", f = rstdoc_f, } _SH["find-penlightdoc"] = SexpHead { head = "find-penlightdoc", help = rstdoc_help, base = rstdoc_base_penlight, htm = ".html", f = rstdoc_f, } _SH["find-nodejsdoc"] = SexpHead { head = "find-nodejsdoc", help = rstdoc_help, base = rstdoc_base_nodejs, htm = ".html", f = rstdoc_f, } _SH["find-leanrefdoc"] = SexpHead { head = "find-leanrefdoc", help = rstdoc_help, base = rstdoc_base_leanref, htm = ".html", f = rstdoc_f, } _SH["find-leanmetadoc"] = SexpHead { head = "find-leanmetadoc", help = rstdoc_help, base = rstdoc_base_leanmeta, htm = ".html", f = rstdoc_f, } _SH["find-lean4doc"] = SexpHead { head = "find-lean4doc", help = rstdoc_help, base = rstdoc_base_lean4, htm = ".html", f = rstdoc_f, } _SH["find-leantpildoc"] = SexpHead { head = "find-leantpildoc", help = rstdoc_help, base = rstdoc_base_leantpil, htm = ".html", f = rstdoc_f, } _SH["find-fplean4doc"] = SexpHead { head = "find-fplean4doc", help = rstdoc_help, base = rstdoc_base_fplean4, htm = ".html", f = rstdoc_f, } _SH["find-leanmathsdoc"] = SexpHead { head = "find-leanmathsdoc", help = rstdoc_help, base = rstdoc_base_leanmaths, htm = ".html", f = rstdoc_f, } _SH["find-mechprfdoc"] = SexpHead { head = "find-mechprfdoc", help = rstdoc_help, base = rstdoc_base_mechprf, htm = ".html", f = rstdoc_f, } _SH["find-tclean4doc"] = SexpHead { head = "find-tclean4doc", help = rstdoc_help, base = rstdoc_base_tclean4, htm = ".html", f = rstdoc_f, } _SH["find-tpil4doc"] = SexpHead { head = "find-tpil4doc", help = rstdoc_help, base = rstdoc_base_tpil4, htm = ".html", f = rstdoc_f, } _SH["find-sqlite3doc"] = SexpHead { head = "find-sqlite3doc", help = rstdoc_help, base = rstdoc_base_sqlite3, htm = ".html", f = rstdoc_f, } -- «find-pydoc-tests» (to ".find-pydoc-tests") --[==[ * (eepitch-lua51) * (eepitch-kill) * (eepitch-lua51) dofile "sandwiches-defs.lua" = sexp_to_target_si [[ (find-pydoc "foo#bar") ]] = sexp_to_target_st [[ (find-pydoc "foo#bar") ]] = sexp_to_target_si [[ (find-sympydoc "foo#bar") ]] = sexp_to_target_st [[ (find-sympydoc "foo#bar") ]] = sexp_to_target_si [[ (find-sympydoc "foo") ]] = sexp_to_target_st [[ (find-sympydoc "foo") ]] = sexp_to_target_si [[ (find-ghcugdoc "foo") ]] = sexp_to_target_st [[ (find-ghcugdoc "foo") ]] = sexp_to_target_si [[ (find-h98doc "foo") ]] = sexp_to_target_st [[ (find-h98doc "foo") ]] = sexp_to_target_si [[ (find-h98tdoc "foo") ]] = sexp_to_target_st [[ (find-h98tdoc "foo") ]] = sexp_to_target_st [[ (find-clhsdoc "Front/Contents") ]] = sexp_to_target_st [[ (find-gd3doc "foo") ]] = sexp_to_target_st [[ (find-gd3doc "getting_started/first_2d_game/01.project_setup") ]] = sexp_to_target_st [[ (find-Jdoc "index") ]] = sexp_to_target_st [[ (find-penlightdoc "index") ]] = sexp_to_target_st [[ (find-leanrefdoc "index") ]] = sexp_to_target_st [[ (find-leanmetadoc "index") ]] = sexp_to_target_st [[ (find-leanmathsdoc "index") ]] --]==] -- «use_sand_htmlizeline» (to ".use_sand_htmlizeline") -- Redefine htmlizeline to use the sandwich functions. -- use_sand_htmlizeline = function (fname) -- -- (find-blogme3 "escripts.lua") -- (find-blogme3 "escripts.lua" "htmlizeline") -- require "escripts" -- SpecialT = UrlT + AnchorT + SexpLinkT * Eol -- SpecialT = UrlT + AnchorT + PipeAmpT + PipeSnarfDirT + HereDocT + SexpLinkT * Eol SpecialT = UrlT + AnchorT + PipeAmpT + PipeSnarfDirT + HereDocT EtcChar = 1 - lpeg.S "\n" EtcSpecial = Pos * lpeg.P { [1] = Pos * SpecialT + EtcChar * lpeg.V(1) } EtcSpecials = EtcSpecial^0 EtcSpecialsEtc = EtcSpecials * Pos * EtcChar^0 * Pos -- htmlizelineleft = function (str) return lpeg.match(lpeg.Ct(EtcSpecialsEtc) / sbeconcat(str, Q), str) end -- hl_deluxe = HtmlizeLine { left = function (hl, str) return htmlizelineleft(str) end, plain = function (hl, str) return Q(str) end, } -- htmlizeline = function (linestr) return (hl_deluxe:line(linestr)) end -- if fname then local ddots = getpathtoroot(fname) SexpTarget.__index.ru = function (st, relativeurl) return ddots..relativeurl end end -- require "brackets" require "definers" def [[ STOH 1 line htmlizeline(line:gsub("%s+", " "):bitrim()) ]] def [[ STOT 1 line sexp_to_target(line:gsub("%s+", " ")) ]] def [[ STOSN 1 line '"'..R(STOT(line), (line:match'"(.*)"'))..'"' ]] -- youtube_time = youtube_time_hhmmss -- -- (find-angg ".emacs.templates" "find-eevvideopage-linkss") -- htmlizelines [[ -- (find-eevvideo-links "eev2019" "emacsconf2019" "86yiRG8YJD0") -- (find-eevvideo-links "eev2020" "emacsconf2020" "hOAqBc42Gg8") -- (find-eevvideo-links "2020sometbf" "2020_some_template-based_functions" "91-9YfRPsuk") -- (find-eevvideo-links "eevnav" "M-x-list-packages-eev-nav" "kxBjiUo88_U") -- (find-eevvideo-links "2020findherelinks" "2020-find-here-links" "8jtiBlaDor4") -- (find-eevvideo-links "2020ssr" "2020-short-find-ssr-links-2" "_0_NLXTVhBk") -- ]] end -- «use_sand_htmlizeline-tests» (to ".use_sand_htmlizeline-tests") -- --[==[ * (eepitch-lua51) * (eepitch-kill) * (eepitch-lua51) dofile "sandwiches-defs.lua" use_sand_htmlizeline() = htmlizeline (" |& ") = htmlizeline [[ (code-eevvideo "eev2019" "emacsconf2019" "86yiRG8YJD0") ]] = htmlizeline [[ (find-eev2019video "1:23") ]] = htmlizeline [[ (find-eev2020video "1:23") ]] --]==] -- «Short_» (to ".Short_") -- Short_ = Class { type = "Short_", from = function (bigstr) return Short_({_={}}):add(bigstr) end, parseline = function (linestr) local pat_url = "^%s*([!-~]+)%s+%->%s+([!-~]+)" local pat_sexp = "^%s*([!-~]+)%s+=>%s+(.*)" local shorthand, url = linestr:match(pat_url) if shorthand then return shorthand, url end local shorthand, sexp = linestr:match(pat_sexp) if shorthand then -- print(sexp) local url = sexp_to_target(sexp) return shorthand, url end end, __tostring = function (s_) return mytostringv(s_._) end, __index = { add = function (s_, bigstr) for _,linestr in ipairs(splitlines(bigstr)) do local shorthand, url = Short_.parseline(untabify(linestr)) if shorthand then s_._[shorthand] = url end end return s_ end, expand = function (s_, shorthand, noerror) local url = s_._[shorthand] if url then return url end if noerror then return nil end error("No expansion for '"..shorthand.."'") end, }, } if def then def [[ _ 2 shorthand,text R(short_:expand(shorthand), text) ]] end -- «Short_-tests» (to ".Short_-tests") --[==[ * (eepitch-lua51) * (eepitch-kill) * (eepitch-lua51) dofile "sandwiches-defs.lua" short_ = Short_.from [[ test => (find-eepitch-intro "3. Test blocks") ]] = short_ = short_:expand("test") = short_:expand("foo") --> error = sexp_to_target [[ (find-lua51manual "#pdf-dofile") ]] = _SH = _SH["find-lua51manual"] -- def [[ _ 2 shorthand,text R(short_:expand(shorthand), text) ]] --]==] -- «code_helponly2» (to ".code_helponly2") -- (find-angg "blogme3/sandwiches.lua" "code_helponly") -- code_helponly2 = function (head, url) _SH[head] = SexpHead { head = head, help = url, f = function (sh, si) si:add_filling(1, 0, "help", sh.help) end, } end code_helponly2_lines = function (bigstr) for _,linestr in ipairs(splitlines(bigstr)) do local head,url = Short_.parseline(linestr) if head and url then code_helponly2(head, url) end end end -- «code_helponly2-tests» (to ".code_helponly2-tests") --[==[ * (eepitch-lua51) * (eepitch-kill) * (eepitch-lua51) dofile "sandwiches-defs.lua" code_helponly2_lines [[ hv => (find-es "tikz" "horiz-and-vert") ]] = _SH["hv"] = sexp_to_target_si [[ (hv "foo") ]] = sexp_to_target_st [[ (hv "foo") ]] --]==] -- «agda» (to ".agda") -- (find-angg "AGDA/ha.agda") -- _SH["find-agdastdlibsrcfile"] = SexpHead { head = "find-agdastdlibsrcfile", -- help = sexp_to_target_st [[ (find-video-links-intro "9. First-class videos") ]], f = function (sh, si) -- si:add_filling(1, nil, "help", sh.help) local ag = si:sexp_strarg(2) if ag then local ag2 = ag:gsub("%.agda$", "%.html"):gsub("/", ".") local ag3 = "https://agda.github.io/agda-stdlib/" .. ag2 si:add_filling(2, 1, "agdahtml", ag3) end end, } _SH["find-agdaprimfile"] = SexpHead { head = "find-agdaprimfile", -- help = sexp_to_target_st [[ (find-video-links-intro "9. First-class videos") ]], f = function (sh, si) -- si:add_filling(1, nil, "help", sh.help) local ag = si:sexp_strarg(2) if ag then local ag2 = ag:gsub("%.agda$", "%.html"):gsub("/", ".") local ag3 = "https://agda.github.io/agda-stdlib/" .. ag2 si:add_filling(2, 1, "agdahtml", ag3) end end, } _SH["find-agdacatsfile"] = SexpHead { head = "find-agdacatsfile", -- help = sexp_to_target_st [[ (find-video-links-intro "9. First-class videos") ]], f = function (sh, si) -- si:add_filling(1, nil, "help", sh.help) local ag = si:sexp_strarg(2) if ag then local ag1 = ag:gsub("^src/", "") local ag2 = ag1:gsub("%.agda$", "%.html"):gsub("/", ".") local ag3 = "https://agda.github.io/agda-categories/" .. ag2 si:add_filling(2, 1, "agdahtml", ag3) end end, } code_helponly2_lines [=[ find-agdatype => (find-angg "AGDA/find-agdatype.el") ]=] -- «agda-tests» (to ".agda-tests") --[==[ * (eepitch-lua51) * (eepitch-kill) * (eepitch-lua51) dofile "sandwiches-defs.lua" = sexp_to_target_si [[ (find-agdastdlibsrcfile "Data/Product.agda") ]] = sexp_to_target_st [[ (find-agdastdlibsrcfile "Data/Product.agda") ]] = sexp_to_target_si [[ (find-agdaprimfile "Agda/Builtin/Sigma.agda") ]] = sexp_to_target_st [[ (find-agdaprimfile "Agda/Builtin/Sigma.agda") ]] = sexp_to_target_si [[ (find-agdatype "foo") ]] = sexp_to_target_st [[ (find-agdatype "foo") ]] -- (find-agdaprimfile "Agda/Builtin/Sigma.agda") --> https://agda.github.io/agda-stdlib/Agda.Builtin.Sigma.html -- (find-agdastdlibsrcfile "Relation/Binary/Indexed/Heterogeneous/Definitions.agda") --> https://agda.github.io/agda-stdlib/Relation.Binary.Indexed.Heterogeneous.Definitions.html --]==] -- «find-hoogle» (to ".find-hoogle") _SH["find-hoogle"] = SexpHead { head = "find-hoogle", help = "http://anggtwu.net/eev-haskell.html", f = function (sh, si) si:add_filling(1, 0, "help", sh.help) -- not sh.help:url() local str = si:sexp_strarg(2) if str then local str1 = "https://hoogle.haskell.org/?hoogle=" .. str si:add_filling(2, 1, "tgt", str1) end end, } -- «find-hoogle-tests» (to ".find-hoogle-tests") --[==[ * (eepitch-lua51) * (eepitch-kill) * (eepitch-lua51) dofile "sandwiches-defs.lua" = sexp_to_target_si [[ (find-hoogle "guard") ]] = sexp_to_target_st [[ (find-hoogle "guard") ]] --]==] -- «find-cabal-links» (to ".find-cabal-links") _SH["find-cabal-links"] = SexpHead { head = "find-cabal-links", help = "http://anggtwu.net/eev-haskell.html", f = function (sh, si) si:add_filling(1, 0, "help", sh.help) -- not sh.help:url() local str = si:sexp_strarg(2) if str then local str1 = "https://hackage.haskell.org/package/" .. str si:add_filling(2, 1, "tgt", str1) end end, } -- «find-cabal-unpack» (to ".find-cabal-unpack") _SH["find-cabal-unpack"] = SexpHead { head = "find-cabal-unpack", help = "http://anggtwu.net/eev-haskell.html", f = function (sh, si) si:add_filling(1, 0, "help", sh.help) -- not sh.help:url() local str = si:sexp_strarg(2) if str then local str1 = "https://hackage.haskell.org/package/" .. str si:add_filling(2, 1, "tgt", str1) end end, } -- «find-cabal-links-tests» (to ".find-cabal-links-tests") -- «find-cabal-unpack-tests» (to ".find-cabal-unpack-tests") --[==[ * (eepitch-lua51) * (eepitch-kill) * (eepitch-lua51) dofile "sandwiches-defs.lua" = sexp_to_target_si [[ (find-cabal-links "kan-extensions") ]] = sexp_to_target_st [[ (find-cabal-links "kan-extensions") ]] = sexp_to_target_si [[ (find-cabal-unpack "kan-extensions") ]] = sexp_to_target_st [[ (find-cabal-unpack "kan-extensions") ]] --]==] --[==[ * (eepitch-lua51) * (eepitch-kill) * (eepitch-lua51) dofile "sandwiches-defs.lua" = sexp_to_target_si [[ (find-2022eevwconfigvideo "1:02:15" "many years") ]] = sexp_to_target_st [[ (find-2022eevwconfigvideo "1:02:15" "many years") ]] --]==] -- «code_helponly2_lines» (to ".code_helponly2_lines") code_helponly2_lines [=[ find-find-links-links-new => (find-eev "eev-tlinks.el" "find-find-links-links-new") find-pdftools-page => (find-eev "eev-pdflike.el" "find-pdftools-page") find-pdftoolsr-page => (find-eev "eev-pdflike.el" "find-pdftoolsr-page") ]=] code_helponly2_lines [[ find-tikz1-links => (find-angg "LUA/tikz1.el" "find-tikz1-links") find-tikzsearch-links => (find-angg "LUA/tikz1.el" "find-tikzsearch-links") tiks => (find-angg "LUA/tikz1.el" "tiks") tikz-show => (find-angg "LUA/tikz1.el" "tikz-show") tikz-showtex => (find-angg "LUA/tikz1.el" "tikz-showtex") ee-copy-rest => (find-eev "eev-tlinks.el" "ee-copy-rest") ee-copy-rest-3 => (find-eev "eev-tlinks.el" "ee-copy-rest-3-intro") eepitch-sly => (find-try-sly-intro "6. Sly: basic keys") ]] code_c_d_remote("tikzgitfile", "https://github.com/pgf-tikz/pgf/tree/master/") code_c_d_remote("tikzmanfile", "https://github.com/pgf-tikz/pgf/tree/master/doc/generic/pgf/") code_c_d_remote("tikztgpgitfile", "https://github.com/pgf-tikz/pgf/tree/master/tex/generic/pgf/") code_c_d_remote("fennelfile", "https://git.sr.ht/~technomancy/fennel/tree/main/item/") code_c_d_remote("sbclfile", "https://sourceforge.net/p/sbcl/sbcl/ci/master/tree/") code_c_d_remote("maximagitfile", "https://sourceforge.net/p/maxima/code/ci/master/tree/") code_c_d_remote("slyfile", "https://github.com/joaotavora/sly/tree/master/") code_c_d_remote("slynkfile", "https://github.com/joaotavora/sly/tree/master/slynk/") code_c_d_remote("qlslyfile", "https://github.com/joaotavora/sly/tree/master/") code_c_d_remote("qlslynkfile", "https://github.com/joaotavora/sly/tree/master/slynk/") code_c_d_remote("lpegrexfile", "https://github.com/edubart/lpegrex/blob/main/") code_c_d_remote("efile", "https://github.com/emacs-mirror/emacs/blob/master/lisp/") code_c_d_remote("emacslibpqfile", "https://github.com/anse1/emacs-libpq/blob/master/") code_c_d_remote("grailfile", "https://github.com/bitcathedrals/grail/blob/develop/") code_c_d_remote("nodejssrcfile", "https://github.com/nodejs/node/tree/main/") code_c_d_remote("lean4prefile", "https://github.com/leanprover/lean4/blob/master/src/") code_c_d_remote("leanmetadocrfile", "https://github.com/leanprover-community/lean4-metaprogramming-book/tree/master/lean/") code_c_d_remote("lspmodegitfile", "https://github.com/emacs-lsp/lsp-mode/blob/master/") -- (find-squeakbyexpage 43) -- = _SH["find-squeakbyexpage"] code_pdf("squeakbyex", "http://anggtwu.net/SQUEAK/squeak-by-example-5.3.pdf") code_pdf("fplean4", "http://anggtwu.net/LEAN/fplean4.pdf") code_pdf("touretzky", "https://www.cs.cmu.edu/~dst/LispBook/book.pdf") code_pdf("lisp15", "https://www.softwarepreservation.org/projects/LISP/book/LISP%201.5%20Programmers%20Manual.pdf") -- (find-es "maxima" "maxima-by-example-ccds") code_pdf("mbe01", "https://home.csulb.edu/~woollett/mbe1intro.pdf") code_pdf("mbe02", "https://home.csulb.edu/~woollett/mbe2plotfit.pdf") code_pdf("mbe03", "https://home.csulb.edu/~woollett/mbe3ode1.pdf") code_pdf("mbe04", "https://home.csulb.edu/~woollett/mbe4solve.pdf") code_pdf("mbe05", "https://home.csulb.edu/~woollett/mbe5matrix.pdf") code_pdf("mbe06", "https://home.csulb.edu/~woollett/mbe6calc1.pdf") code_pdf("mbe07", "https://home.csulb.edu/~woollett/mbe7sint.pdf") code_pdf("mbe08", "https://home.csulb.edu/~woollett/mbe8nint.pdf") code_pdf("mbe09", "https://home.csulb.edu/~woollett/mbe9bfloat.pdf") code_pdf("mbe10", "https://home.csulb.edu/~woollett/mbe10fltrans.pdf") code_pdf("mbe11", "https://home.csulb.edu/~woollett/mbe11fft.pdf") code_pdf("mbe12", "https://home.csulb.edu/~woollett/mbe12dirac3.pdf") code_pdf("mbe13", "https://home.csulb.edu/~woollett/mbe13qdraw.pdf") code_pdf("mbe14", "https://home.csulb.edu/~woollett/mbe14fit.pdf") -- (find-es "maxima" "maxima-workbook") code_pdf("maximawb", "https://roland-salz.de/Maxima_Workbook.pdf") -- (find-books "__logic/__logic.el" "martin-lof") code_pdf("martinlofitt", "https://archive-pml.github.io/martin-lof/pdfs/Bibliopolis-Book-retypeset-1984.pdf") -- (find-eev "eev-lean4.el" "ee-leandoc-:fplean4") code_pdf("lean4", "http://anggtwu.net/snarf/https/lean-lang.org/lean4/doc/print.pdf") code_pdf("tpil4", "http://anggtwu.net/snarf/https/lean-lang.org/theorem_proving_in_lean4/print.pdf") code_pdf("leanmeta", "http://anggtwu.net/snarf/https/leanprover-community.github.io/lean4-metaprogramming-book/print.pdf") code_pdf("fplean4", "http://anggtwu.net/snarf/https/lean-lang.org/functional_programming_in_lean/print.pdf") code_pdf("tclean4", "http://anggtwu.net/snarf/https/ammkrn.github.io/type_checking_in_lean4/print.pdf") -- «find-maximanode» (to ".find-maximanode") -- Skel: (find-sandwiches-def-links "find-maximanode") -- _SH["find-maximanode"] = SexpHead { head = "find-maximanode", help = sexp_to_target_st [[ (find-TH "find-maximanode") ]], f = function (sh, si) si:add_filling(1, nil, "help", sh.help) local node = si:sexp_strarg(2) if node then local oldR = R require "maxima-index-html" -- (find-blogme3 "maxima-index-html.lua") R = oldR local html0 = maxima_index_table[node] local html = html0 and "https://maxima.sourceforge.io/docs/manual/"..html0 if html then si:add_filling(2, 1, "node", html) end end end, } -- «find-maximanode-tests» (to ".find-maximanode-tests") --[==[ * (eepitch-lua51) * (eepitch-kill) * (eepitch-lua51) dofile "sandwiches-defs.lua" = sexp_to_target_si [[ (find-maximanode "fundef") ]] = sexp_to_target_st [[ (find-maximanode "fundef") ]] = sexp_to_target_si [[ (find-maximanode "fundef0") ]] = sexp_to_target_st [[ (find-maximanode "fundef0") ]] --]==] -- «find-yttranscript-links» (to ".find-yttranscript-links") -- Skel: (find-sandwiches-def-links "find-yttranscript-links") -- _SH["find-yttranscript-links"] = SexpHead { head = "find-yttranscript-links", help = sexp_to_target_st [[ (find-TH "2022-yttranscript") ]], f = function (sh, si) si:add_filling(1, nil, "help", sh.help) local hash = si:sexp_strarg(3) if hash then si:add_filling(3, 1, "yt", youtube_make_url(hash)) end end, } -- «find-yttranscript-links-tests» (to ".find-yttranscript-links-tests") --[==[ * (eepitch-lua51) * (eepitch-kill) * (eepitch-lua51) dofile "sandwiches-defs.lua" = sexp_to_target_si [[ (find-yttranscript-links "eev2023replsb" "s3enXsuXyNg") ]] = sexp_to_target_st [[ (find-yttranscript-links "eev2023replsb" "s3enXsuXyNg") ]] --]==] -- «find-gitk» (to ".find-gitk") -- Skel: (find-sandwiches-def-links "find-gitk") -- _SH["find-gitk"] = SexpHead { head = "find-gitk", help = sexp_to_target_st [[ (find-eev "eev-plinks.el" "find-gitk") ]], f = function (sh, si) si:add_filling(1, nil, "help", sh.help) end, } -- «find-gitk-tests» (to ".find-gitk-tests") --[==[ * (eepitch-lua51) * (eepitch-kill) * (eepitch-lua51) dofile "sandwiches-defs.lua" = sexp_to_target_si [[ (find-gitk "/tmp/eevgit-test1/") ]] = sexp_to_target_st [[ (find-gitk "/tmp/eevgit-test1/") ]] --]==] -- «code_lsubs» (to ".code_lsubs") -- See: (find-blogme3 "sandwiches.lua" "code_intro") -- code_lsubs = function (c, mp4stem) local find_clsubs = "find-"..c.."lsubs" local baseurl = format("http://anggtwu.net/SUBTITLES/%s.lua.html", mp4stem) _SH[find_clsubs] = SexpHead { head = find_clsubs, -- help = SexpTarget {f="find_intro", stem=stem, anchor=nil}, f = function (sh, si) -- si:add_filling(1, nil, "help", sh.help) local time = si:sexp_strarg(2) local target = baseurl .. (time and "#"..time or "") if time then si:add_filling(2, 1, "target", target) else si:add_filling("e", nil, "target", target) end end, } end -- «code_lsubs-tests» (to ".code_lsubs-tests") --[==[ * (eepitch-lua51) * (eepitch-kill) * (eepitch-lua51) dofile "sandwiches-defs.lua" code_lsubs("2024luaso", "2024-find-luaso-links") = _SH["find-2024luasolsubs"] = sexp_to_target_si [[ (find-2024luasolsubs "00:00") ]] = sexp_to_target_st [[ (find-2024luasolsubs "00:00") ]] = sexp_to_target_si [[ (find-2024luasolsubs) ]] = sexp_to_target_st [[ (find-2024luasolsubs) ]] --]==] -- «code-lsubs» (to ".code-lsubs") -- Skel: (find-sandwiches-def-links "code-lsubs") -- _SH["code-lsubs"] = SexpHead { head = "code-lsubs", -- help = sexp_to_target_st [[ (find-eev "eev-tlinks.el" "code-lsubs") ]], f = function (sh, si) -- si:add_filling(1, nil, "help", sh.help) local c = si:sexp_strarg(2) local mp4stem = si:sexp_strarg(3) if c and mp4stem then code_lsubs(c, mp4stem) -- local lsubs = format("http://anggtwu.net/SUBTITLES/%s.lua.html", mp4stem) -- PP(c, mp4stem, lsubs) -- si:add_filling(2, 1, "yt", lsubs) -- si:add_filling(3, 1, "yt", lsubs) end end, } -- «code-lsubs-tests» (to ".code-lsubs-tests") --[==[ * (eepitch-lua51) * (eepitch-kill) * (eepitch-lua51) dofile "sandwiches-defs.lua" = sexp_to_target_si [[ (code-lsubs "2024luaso" "2024-find-luaso-links") ]] = sexp_to_target_st [[ (code-lsubs "2024luaso" "2024-find-luaso-links") ]] = sexp_to_target_si [[ (find-2024luasolsubs "00:00") ]] = sexp_to_target_st [[ (find-2024luasolsubs "00:00") ]] = sexp_to_target_si [[ (find-2024luasolsubs) ]] = sexp_to_target_st [[ (find-2024luasolsubs) ]] --]==] -- «find-clhsdoci» (to ".find-clhsdoci") -- Skel: (find-sandwiches-def-links "find-clhsdoci") -- _SH["find-clhsdoci"] = SexpHead { head = "find-clhsdoci", help = sexp_to_target_st [[ (find-try-sly-intro "2. Install some elisp packages") ]], f = function (sh, si) si:add_filling(1, nil, "help", sh.help) local symbol = si:sexp_strarg(2) if symbol then local tbl = require "clhs-symbols" local tgt0 = tbl[symbol:upper()] local tgt1 = tgt0 and "http://clhs.lisp.se/"..tgt0 if tgt1 then si:add_filling(2, 1, "tgt", tgt1) end end end, } -- «find-clhsdoci-tests» (to ".find-clhsdoci-tests") --[==[ * (eepitch-lua51) * (eepitch-kill) * (eepitch-lua51) dofile "sandwiches-defs.lua" = sexp_to_target_si [[ (find-clhsdoci "require") ]] = sexp_to_target_st [[ (find-clhsdoci "require") ]] --]==] -- «find-anchor» (to ".find-anchor") -- Skel: (find-sandwiches-def-links "find-anchor") -- _SH["find-anchor"] = SexpHead { head = "find-anchor", help = sexp_to_target_st [[ (find-eev-quick-intro "8.5. Hyperlinks to anchors in other files") ]], f = function (sh, si) si:add_filling(1, nil, "help", sh.help) local fname = si:sexp_strarg(2) local tag = si:sexp_strarg(3) if fname and fname:sub(1,2) == "~/" then local target0 = "http://anggtwu.net/"..fname:sub(3)..".html" local target = target0..(tag and "#"..tag or "") si:add_filling(2, 1, "tgt", target) if tag then si:add_filling(3, 1, "tgt", target) end end end, } -- «find-anchor-tests» (to ".find-anchor-tests") --[==[ * (eepitch-lua51) * (eepitch-kill) * (eepitch-lua51) dofile "sandwiches-defs.lua" = ("abcde"):sub(1,2) = sexp_to_target_si [[ (find-anchor "~/lisptree/lisptree.mac") ]] = sexp_to_target_st [[ (find-anchor "~/lisptree/lisptree.mac") ]] --]==] -- «code-etex-tla» (to ".code-etex-tla") -- Skel: (find-sandwiches-def-links "code-etex-tla") -- See: (find-blogme3 "code-etex-tlas.lua") -- code_etex_tla_p = function (sh, si) local stem = sh.stem local url0 = format("http://anggtwu.net/LATEX/%s.pdf", stem) local p = si:sexp_numericarg(2) if p then local url = format("%s#page=%d", url0, p) si:add_filling(2, 0, "p", url) if si:sexp_strarg(3) then si:add_filling(3, 1, "p", url) end else si:add_filling(1, 0, "p", url0) end end code_etex_tla_a = function (sh, si) local stem = sh.stem local url0 = format("http://anggtwu.net/LATEX/%s.tex.html", stem) local tag = si:sexp_strarg(2) if tag then local url = format("%s#%s", url0, tag) si:add_filling(2, 1, "a", url) else si:add_filling(1, 0, "a", url0) end end code_etex_tla = function (tla, stem) _SH[tla.."p"] = SexpHead { head = tla.."p", tla = tla, stem = stem, f = code_etex_tla_p, } _SH[tla.."a"] = SexpHead { head = tla.."a", tla = tla, stem = stem, f = code_etex_tla_a, } end -- «code-etex-tla-tests» (to ".code-etex-tla-tests") --[==[ * (eepitch-lua51) * (eepitch-kill) * (eepitch-lua51) dofile "sandwiches-defs.lua" code_etex_tla("pat", "2024panic-teresopolis") = sexp_to_target_si [[ (patp 2 "toc") ]] = sexp_to_target_st [[ (patp 2 "toc") ]] = sexp_to_target_si [[ (patp) ]] = sexp_to_target_st [[ (patp) ]] = sexp_to_target_si [[ (pata "toc") ]] = sexp_to_target_st [[ (pata "toc") ]] = sexp_to_target_si [[ (pata) ]] = sexp_to_target_st [[ (pata) ]] --]==] -- «code-etex-tlas-load» (to ".code-etex-tlas-load") -- (find-blogme3 "code-etex-tlas.lua") require "code-etex-tlas" -- (find-blogme3 "sandwiches-defs.lua" "code-pdf-page")