<div dir="ltr">Hi,<div>I decided to just drop the .sh extension. I agree that it could be interesting to remove these from */bin but it's also coded in a very convoluted way and I fear can break in many different ways, so I prefer to leave it as it is.</div>

<div><br></div><div style>If somebody feels brave enough to mess with $PATH and bash, feel free to iterate over my changes:</div><div style><a href="http://commits.kde.org/kdevplatform/c883b79e2a3654866f0c6ae4b75fe96402136533">http://commits.kde.org/kdevplatform/c883b79e2a3654866f0c6ae4b75fe96402136533</a><br>

</div><div style><a href="http://commits.kde.org/kdevelop/7eb0b8156b78ea8e2f3960768701b325f48a4723">http://commits.kde.org/kdevelop/7eb0b8156b78ea8e2f3960768701b325f48a4723</a><br></div><div style><br></div><div style>Aleix</div>

</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, May 9, 2013 at 1:34 AM, Milian Wolff <span dir="ltr"><<a href="mailto:mail@milianw.de" target="_blank">mail@milianw.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div class="HOEnZb"><div class="h5">On Wednesday 08 May 2013 22:07:21 Jonathan Riddell wrote:<br>
> Our package checking tool doesn't like scripts with extentions in /usr/bin/<br>
><br>
> W: kdevplatform7-libs: script-with-language-extension<br>
> usr/bin/kdev_format_source.sh<br>
> W: kdevplatform7-libs: script-with-language-extension<br>
> usr/bin/kdevplatform_shell_environment.sh<br>
><br>
> alex asked me to send this as a reminder<br>
><br>
> Jonathan<br>
<br>
</div></div>someone should move these to libexec<br>
<span class="HOEnZb"><font color="#888888">--<br>
Milian Wolff<br>
<a href="mailto:mail@milianw.de">mail@milianw.de</a><br>
<a href="http://milianw.de" target="_blank">http://milianw.de</a></font></span><br>_______________________________________________<br>
KDevelop mailing list<br>
<a href="mailto:KDevelop@kde.org">KDevelop@kde.org</a><br>
<a href="https://mail.kde.org/mailman/listinfo/kdevelop" target="_blank">https://mail.kde.org/mailman/listinfo/kdevelop</a><br>
<br></blockquote></div><br></div>