<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Fri, May 8, 2015 at 2:26 PM, Tobias Pape <span dir="ltr">&lt;<a href="mailto:Das.Linux@gmx.de" target="_blank">Das.Linux@gmx.de</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class=""><br>
On 08.05.2015, at 23:17, Levente Uzonyi &lt;<a href="mailto:leves@elte.hu">leves@elte.hu</a>&gt; wrote:<br>
<br>
&gt; Hi Eliot,<br>
&gt;<br>
&gt; If you can generate the files while they are in the repository (on the server), then you can save the time waiting for someone to delete them, because while you can&#39;t delete the files from the server, you can overwrite them.<br>
<br>
</span>To my knowledge, you can&#39;t.<br></blockquote><div><br></div><div>+1.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<span class=""><br>
&gt; This wouldn&#39;t help with the .mcds, but I think those are not cached in the image, so deleting just the .mcds is probably a way easier thing to do.<br>
&gt;<br>
<br>
<br>
</span>Best regards<br>
<span class="HOEnZb"><font color="#888888">        -Tobias<br>
</font></span><div class="HOEnZb"><div class="h5"><br>
&gt; Levente<br>
&gt;<br>
&gt; On Fri, 8 May 2015, Eliot Miranda wrote:<br>
&gt;<br>
&gt;&gt; Hi David,<br>
&gt;&gt;<br>
&gt;&gt;    and to be very clear, the *only* packages to be deleted are those matching<br>
&gt;&gt;<br>
&gt;&gt; Collections.spur*<br>
&gt;&gt; Compiler.spur*<br>
&gt;&gt; Kernel.spur*<br>
&gt;&gt; System.spur*<br>
&gt;&gt;<br>
&gt;&gt; Eliot (phone)<br>
&gt;&gt;<br>
&gt;&gt; On May 8, 2015, at 7:22 AM, Eliot Miranda &lt;<a href="mailto:eliot.miranda@gmail.com">eliot.miranda@gmail.com</a>&gt; wrote:<br>
&gt;&gt;<br>
&gt;&gt;&gt; Hi David,<br>
&gt;&gt;&gt;<br>
&gt;&gt;&gt;    it is always possible to fix it another way but it would be hugely expensive.  The only affordable way I know is to delete the existing files and upload new ones.  Can someone who has access to the box simply login with either ash or FTP and delete them with a single command?  If I had access to the box that is what I would do.<br>
&gt;&gt;&gt;<br>
&gt;&gt;&gt; Eliot (phone)<br>
&gt;&gt;&gt;<br>
&gt;&gt;&gt; On May 7, 2015, at 7:19 PM, &quot;David T. Lewis&quot; &lt;<a href="mailto:lewis@mail.msen.com">lewis@mail.msen.com</a>&gt; wrote:<br>
&gt;&gt;&gt;<br>
&gt;&gt;&gt;&gt; On Thu, May 07, 2015 at 04:58:55PM -0700, Eliot Miranda wrote:<br>
&gt;&gt;&gt;&gt;&gt; Hi All,<br>
&gt;&gt;&gt;&gt;&gt;<br>
&gt;&gt;&gt;&gt;&gt;  I need to delete all the patched Spur packages in trunk to ensure that<br>
&gt;&gt;&gt;&gt;&gt; correctly patched versions replace them.  Is there an automated way of<br>
&gt;&gt;&gt;&gt;&gt; deleting packages on trunk?  I&#39;ve used the web interface, but it&#39;ll take<br>
&gt;&gt;&gt;&gt;&gt; all day :-(<br>
&gt;&gt;&gt;&gt;&gt; --<br>
&gt;&gt;&gt;&gt;&gt; best,<br>
&gt;&gt;&gt;&gt;&gt; Eliot<br>
&gt;&gt;&gt;&gt;<br>
&gt;&gt;&gt;&gt; I don&#39;t know the answer to your question, but if I look at the files in<br>
&gt;&gt;&gt;&gt; the squeaksource repository, there are quite a few:<br>
&gt;&gt;&gt;&gt;<br>
&gt;&gt;&gt;&gt;  davidlewis@squeak-box4:/home/squeaksource/sso2/ss/trunk$ ls *spur*mcz | wc -l<br>
&gt;&gt;&gt;&gt;  246<br>
&gt;&gt;&gt;&gt;  davidlewis@squeak-box4:/home/squeaksource/sso2/ss/trunk$ ls *spur*mcd | wc -l<br>
&gt;&gt;&gt;&gt;  152<br>
&gt;&gt;&gt;&gt;  davidlewis@squeak-box4:/home/squeaksource/sso2/ss/trunk$ ls *spur*mcm | wc -l<br>
&gt;&gt;&gt;&gt;  33<br>
&gt;&gt;&gt;&gt;  davidlewis@squeak-box4:/home/squeaksource/sso2/ss/trunk$ ls *spur* | wc -l<br>
&gt;&gt;&gt;&gt;  450<br>
&gt;&gt;&gt;&gt;<br>
&gt;&gt;&gt;&gt; Is it really necessary to delete all of this stuff? Or could we keep it as is, and<br>
&gt;&gt;&gt;&gt; work around the problems in some other way?<br>
&gt;&gt;&gt;&gt;<br>
&gt;&gt;&gt;&gt; Dave<br>
<br>
<br>
<br>
</div></div></blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature">best,<div>Eliot</div></div>
</div></div>