<div dir="auto">Normally a move to an existing file will raise an error 'file already exist'<div dir="auto"><br></div><div dir="auto">In this case kill act like an option that erase the dest file first and then move can do the job </div></div><br><div class="gmail_quote"><div dir="ltr">Le dim. 23 sept. 2018 11:36, Hans Lehmann <<a href="mailto:hans@gambas-buch.de">hans@gambas-buch.de</a>> a écrit :<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hello,<br>
<br>
I'm sorry, but I meant this: MOVE OldName KILL NewName<br>
<br>
Yours sincerely<br>
<br>
Hans<br>
<br>
----[ Gambas mailing-list is hosted by <a href="https://www.hostsharing.net" rel="noreferrer noreferrer" target="_blank">https://www.hostsharing.net</a> ]----<br>
</blockquote></div>