--Sig_/DZaqJz3QvWiUlCfYXY+Ihf0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: quoted-printable

On Wed, 13 Dec 2017 08:30:39 +0100
Sven Brauch <mail@svenbrauch.de> wrote:
> On 13/12/17 07:32, Thomas Friedrichsmeier wrote:
> > Pierre has written an indentation file for "R Script"
> > https://github.com/devillemereuil/rindent . He originally
> > developped it for KDE 4, and thought about contributing it for
> > inclusion in RKWard, but I said KF5 and ktexteditor will be the
> > more appropriate place. =20
>=20
> Yes, KTextEditor is a good place for that.
> /usr/share/katepart5/script/indentation should be the right directory,
> at least that's what it searches here -- you can do strace -f kate
> 2>&1|grep indentation to see where it actually looks on your system. =20

Thanks for that. That hint led me to my own embarrassing mistake,
quickly: I had downloaded an HTML-marked up version of the .js-file -
d'uh!

@Pierre: I also verified that the indentation script still shows up,
when chaging the "languages" to nonsense names that are definitely not
installed (of course it will not work correctly, then, on comments,
but it still shows up). So I don't know which subspecies of gremlin you
were seeing, but I suspect it was a similarly benign one... Do go ahead
and submit that review request on phabricator.kde.org!

Regards
Thomas

--Sig_/DZaqJz3QvWiUlCfYXY+Ihf0
Content-Type: application/pgp-signature
Content-Description: OpenPGP digital signature

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCAAGBQJaMOAlAAoJEDkVkd8YWMu2koAQANXo58ZLpt679AZsUz6BXTtx
C907PbPXP33vY+ljpX89l01rfoXap5cZ8ov9iq/9KRz4xEWpvP4EAJYnVjRN8FYw
uqnftR2rkpCb0O2P7u+rMaMs3ZsxOBAw2jGKTaQ6vIKteUskh1KsGmfpU/3WPEnb
wn8E3hPoKCvC2973TPE9Y6Xz5e8UddiLho2BVwKzRk7B5dIG9YPwHkCVz+nKyZz2
ea2ZWcfDLFyQikX7Yj640+QQLO76xFqQOGo1gppn5PIPoE8kkyPtO10l5Y2ZhvDI
pf0uo2F1h/+4aPh0QFUiq8IgvFBhcYtya4srfmPgqu7XnMdYNZPOLFNY8Oj+Aame
xTOrwh4QJ7f9Vh6H2S7/CRXf+gHHVfhxzgVni1/C9XpfgUBmop53lf/Ymr07n1hN
p+xqXVIoUs6gosJm10Vf2TdkbI55TmgwtHs7qUHWuBz6WABtraKwhzmAd2qvs5KI
Swo7wF3z8/vd3TfXBJQOq9PNBHkztmyoHDyGLOL3YQlm1cCSZGNqsGaVb/DmR/VB
Z5DrFFmbr3N5ZS/hxqhSCXc5YCR+zprzCu/DS6Gm01HN15YEx0CVV7H6lslVtmCo
+2Xi2vvbMY+a5xBdT5kOq4Kb1zGT5c/nvcFqL7x6q1o+cvXAKIFEI5lhAQdiLZiN
2CMUr8z3rUWe3CGsMMeZ
=8kgA
-----END PGP SIGNATURE-----

--Sig_/DZaqJz3QvWiUlCfYXY+Ihf0--