treifer tool
ich hätte gerne noch ein skript (auf die Dauer, ist nicht eilig, habe ja noch genug zu tun mit SMGloM und dem letzten Skript).
Und zwar denke ich an ein interaktives command-line skript mit einem user interface genau wie ispell, aber für `\trefi*1:
Das skript geht über einen Text (lässt sich von MMT oder einem anderen
skript vorher einen Katalog erstellen), findet trefierbare fragmente und
schlägt mögliche symbole vor (foo?bar
) zwischen denen man per
Zahl-Eingabe wählen kann oder per space weiter.
Wenn bar?foo
für ein fragment
-
"first order oaf" ausgewählt wurde, dann erzeugt es
\mtrefiii[bar?foo]{first}{order}{oaf}
-
"foo" ausgewählt wurde, dann
\trefi[bar]{foo}
Bei Pluralen und Capitals halt das nötige.
Dabei kann ich mir zwei Modi vorstellen, eines zieht nur bereits
importierte Symbole in Betracht (per \gimport
, \guse
, \importmhmodule
und so) und der andere auch andere, und wenn die angenommen werden, dann
fügt es ein \gimport
... hinzu. Da ist natürlich mehr im Interface zu tun.
Ich verstehe, dass dieses tool viel aufwändiger ist als als die anderen Skripte, wäre aber richtig toll zu haben für mich (nicht nur für SMGloM, sondern auch für die sTeX course materials). Wir sollten über die Priorisierung sprechen.
Und wenn wir einen Katalog haben, i.e. eine Liste von tupeln aus MMT URI und verbalisierungen der form
bar.tex?bar?foo, en:foo de:Foo, zhs:...
...
Dann können wir noch andere skripte machen (e.g. validierung von
existierenden \trefis
). Also ist Katalogerstellung vielleicht ein guter
erster Schritt.