Re: usefull for LyX?

[Rainer M Krug]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On 12/01/13 19:36, Wolfgang Engelmann wrote:
> I got just this from the German TeX user group Dante and wonder whether it 
> might be of interest
> for the LyX developers and of course later on users.
> 

I think this is a great idea, but it should be implemented in the LaTeX distro, 
and not in LyX -
the other option would be a separate tool. But a tool like this would be really 
great.

Cheers,

Rainer


> Wolfgang ----------  Weitergeleitete Nachricht  ----------
> 
> Betreff: [dante-ev] \yy ist Bestandteil von \usepackage{xx} Datum: Samstag, 
> 12. Januar 2013,
> 17:56:46 Von: Jonas Stein <n...@jonasstein.de> An:  "Diskussionsliste fr 
> Mitglieder von DANTE
> e.V." <dante...@dante.de>
> 
> Hallo,
> 
> gelegentlich passiert es mir, dass ich einen Befehl verwenden m￶chte und das 
> passende Paket war
> noch nicht eingebunden.
> 
> Ich f￤nd es sehr zeitgem￤￟, wenn dem User gleich ein Tipp gegeben wrde
> 
> Ich k￶nnte es mir so etwa vorstellen:
> 
> Aufruf mit chkpackage master.tex
> 
> ein Parser, oder die Meldung "ERROR: Undefined control sequence." triggert 
> die Suche nach dem
> Kommando in einer Datenbank
> 
> K￶nnte man die Datenbank aus einem ctan mirror filtern und in eine Tabelle 
> legen?
> 
> $ cat commandlist.csv
> 
> \node,tikz \foo,bar
> 
> findpackage foo w￤re dann einfach ein besserer grep Befehl und k￶nnte 
> \usepackage{bar} 
> antworten
> 
> Es k￶nnte dann auf verschiedene Art dem User helfen. Als Tooltip, als 
> Erg￤nzung zur
> Fehlermeldung etc....
> 
> Gibt es sowas schon? Hat jemand Lust mitzumachen, oder gute Ideen, wie man so 
> einen Wrapper
> umsetzen k￶nnte?
> 
> Wenn das solide l￤uft k￶nnte ich mir vorstellen, dass andere Programme mit 
> der Zeit darauf
> zurckgreifen.
> 
> Beste Gr￟e,
> 

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/

iEUEARECAAYFAlDz1WMACgkQoYgNqgF2egq+KwCTBnhxJVhoiV+Xj/ahc4xy39Uz
CgCfZmW3+y8zmnZ6Ic7OWEAAJePuosM=
=z6If
-----END PGP SIGNATURE-----