<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Fri, Jun 17, 2016 at 9:00 AM, Albert Graef <span dir="ltr"><<a href="mailto:aggraef@gmail.com" target="_blank">aggraef@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><span class=""><div class="gmail_extra"><div class="gmail_quote">On Fri, Jun 17, 2016 at 4:29 AM, Ivica Ico Bukvic <span dir="ltr"><<a href="mailto:ico@vt.edu" target="_blank">ico@vt.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">It may not be a bad idea to bring the -F option up to speed in
      case anyone ever needs that one again. I don't know. What are
      everyone's thoughts on this one? Do we really need the -F/-f
      options anymore once Albert migrates his build process to the
      modified -B build?</blockquote></div><br></div></span><div class="gmail_extra">Well, we shouldn't forget that there's a substantial number of non-Debian and non-Arch Linux systems out there. If you're on one of those then you're currently out of luck, because -F will only give you a bare-bones package without K12, desktop files etc.</div></blockquote></div><br></div><div class="gmail_extra">Sorry, I missed that -F already has its own machinery in place which adds most of the extra stuff, albeit in different locations. So the tarball installer should be all right (except that it currently lacks the arduino folder, which is easy enough to fix).<br><br></div><div class="gmail_extra">Therefore I'll now concentrate on making `-B -n` add the extra stuff to the staging directory, that's really all I need.<br clear="all"><br>-- <br><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr">Dr. Albert Gr"af<br>Computer Music Research Group, JGU Mainz, Germany<br>Email:  <a href="mailto:aggraef@gmail.com" target="_blank">aggraef@gmail.com</a><br>WWW:    <a href="https://plus.google.com/+AlbertGraef" target="_blank">https://plus.google.com/+AlbertGraef</a></div></div>
</div></div>