<div dir="ltr"><div class="gmail_default" style="font-size:large">Greetings</div><div class="gmail_default" style="font-size:large"><br></div><div class="gmail_default" style="font-size:large">Just wondering if you could advise on how to install "External Tools" into <span class="gmail-il">Kate</span> on Ubuntu 18.04?</div><div class="gmail_default" style="font-size:large"><br></div><div class="gmail_default" style="font-size:large">Sincerely,<br></div><div class="gmail_default" style="font-size:large">Dan<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, 12 Jul 2020 at 20:41, Bohdan Mushkevych <<a href="mailto:mushkevych@gmail.com">mushkevych@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div class="gmail_default" style="font-size:large">Hi Chenxiong</div><div class="gmail_default" style="font-size:large"><br></div><div class="gmail_default" style="font-size:large">Thank you for the email and please excuse late reply.</div><div class="gmail_default" style="font-size:large"><br></div><div class="gmail_default" style="font-size:large">I see this plugin in <i>kate/addons </i>github repository [1], but I am not sure where to look for build instructions. Also - it doesn't seem as Ubuntu 18.04 LTS has anything like <i>kdeaddons</i> or similar package.</div><div class="gmail_default" style="font-size:large"><br></div><div class="gmail_default" style="font-size:large">Could you please advise on how to install "External Tools" into Kate on Ubuntu 18.04?</div><div class="gmail_default" style="font-size:large"><br></div><div class="gmail_default" style="font-size:large">Sincerely,</div><div class="gmail_default" style="font-size:large">Dan<br></div><div class="gmail_default" style="font-size:large"><br></div><div class="gmail_default" style="font-size:large">[1] <a href="https://github.com/KDE/kate/tree/master/addons" target="_blank">https://github.com/KDE/kate/tree/master/addons</a></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, 7 Jul 2020 at 20:06, Chenxiong Qi <<a href="mailto:qcxhome@gmail.com" target="_blank">qcxhome@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Hi Bohdan,<br>
<br>
External Tools plugin has a predefined "JSON Format Full File". Maybe <br>
you can have a try.<br>
<br>
On 7/2/20 5:41 AM, Bohdan Mushkevych wrote:<br>
> Hi<br>
> <br>
> First of all - thank you great text editor Kate.<br>
> Recently I started looking on how to add a simple command to format <br>
> JSON, and tried to follow the blogpost from 2009 [1].<br>
> However it did not work for me.<br>
> <br>
> Perhaps you have a Github example of how-to a simple custom command <br>
> would look like?<br>
> Afterall, I probably don't need a long blog post - just a source code to <br>
> peek into.<br>
> <br>
> Sincerely,<br>
> Dan<br>
> <br>
> [1]<br>
> <a href="https://kate-editor.org/2009/10/29/extending-kate-with-scripts/" rel="noreferrer" target="_blank">https://kate-editor.org/2009/10/29/extending-kate-with-scripts/</a><br>
</blockquote></div>
</blockquote></div>