On Mon, Feb 15, 2010 at 11:50 AM, Bill Weinman <w...@bearnet.com> wrote:

> On 2010-02-15 11:52 AM, Bill Ward wrote:
>
>> I think you probably should just delete it and re-upload it.
>>
>
> That would have been my inclination -- but apparently it takes three days
> to delete a file and in the mean time it wouldn't let me upload the same
> file to a different location.
>
> What I've done in that case is to slightly rename the file... e.g. by
adding a letter 'a' to the version number.  Sometimes I forget to update the
README or something.


> I've resolved it for now; as it happens I've updated the library and bumped
> the version number - but it would still be nice to know how to do this --
> and how to delete a file more immediately.
>
> The 3-day thing seems a little overly cautions - I'd rather have it be
"delete immediately" and maybe have a 3-day "undelete" option, personally.
But in the long run 3 days doesn't take that long to pass.


-- 
Check out my LEGO blog at http://www.brickpile.com/
View my photos at http://flickr.com/photos/billward/
Follow me at http://twitter.com/williamward

Reply via email to