|
Josef Eschgfaeller on Sun, 26 Oct 2014 21:08:35 +0100
|
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
|
How cancel old content in write
|
- To: pari-users <pari-users@pari.math.u-bordeaux.fr>
- Subject: How cancel old content in write
- From: Josef Eschgfaeller <esg@unife.it>
- Date: Sun, 26 Oct 2014 21:08:24 +0100
- Delivery-date: Sun, 26 Oct 2014 21:08:35 +0100
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=unife.it; s=google; h=mime-version:date:message-id:subject:from:to:content-type; bh=V5W43J690GVZzaKZJShayW5jZKgmI0kQ1kQsLS+kYt0=; b=GNB2wit6zn9gzd+c3ySmhNAk1pK3RuUIh5fxeA9yGrzTcf08rXLiN/gR8l2bGFsWCR paBSA6yT6e1IIzq0EPpL0nTc/93zrDXk+nRMDfFKvJ+Ai5lruks4NT22lq6BXJlom5dh QC4Z+iD3FhBnMQ2OxiUjyK6+RLJq3cmEHkKxs=
Is there a function for writing to
a file, erasing the old content?
--------------------------------------------------
writetofile (file,text) =\
{system(Strprintf("rm -f %s",file));
write(file,text)}
--------------------------------------------------
Thanks
Josef Eschgfaeller