"Automatic" and "delete" aren't things I like in the same sentence.
On Mon, Jun 9, 2014 at 2:34 AM, Tobias Knopp <tobias.kn...@googlemail.com> wrote: > Is there a reason that the user has to manually delete an > old .julia_history file? One could simply ignore and override it, no? > > Am Montag, 9. Juni 2014 07:16:35 UTC+2 schrieb Stefan Karpinski: >> >> I don't think that could possibly be it, but I'm glad it's working for >> you now. >> >> > On Jun 8, 2014, at 10:24 PM, cnbiz850 <cnbi...@gmail.com> wrote: >> > >> > Since I deleted .julia_history2 yesterday, I don't have the history >> errors now. Don't know if that was the culprit. >> > >> >> On 06/08/2014 08:02 AM, Stefan Karpinski wrote: >> >> Please do let me know of it continues to be broken for you. >> >> >> >>> On Jun 7, 2014, at 6:41 PM, cnbiz850 <cnbi...@gmail.com> wrote: >> >>> >> >>> Perhaps it does not happen at every start. More likely at the start >> of every new day. I just deleted .julia_history2, restarted julia, and did >> not get that error. Will see tomorrow. >> >>> >> >>> >> >>>> On 06/08/2014 06:30 AM, Stefan Karpinski wrote: >> >>>> That's definitely a problem. Could you file an issue? Ideally, >> including example contents from a produced ~/.julia_history file. >> >>>> >> >>>> >> >>>> On Sat, Jun 7, 2014 at 6:28 PM, cnbiz850 <cnbi...@gmail.com <mailto: >> cnbi...@gmail.com>> wrote: >> >>>> >> >>>> Lately, every time I start up julia I got the following error. >> >>>> And every time I have to delete ~/.julia_history. Why? >> >>>> >> >>>> -------------------------- >> >>>> $ julia >> >>>> _ >> >>>> _ _ _(_)_ | A fresh approach to technical computing >> >>>> (_) | (_) (_) | Documentation: >> http://docs.julialang.org >> >>>> _ _ _| |_ __ _ | Type "help()" to list help topics >> >>>> | | | | | | |/ _` | | >> >>>> | | |_| | | | (_| | | Version 0.3.0-prerelease+3512 >> >>>> (2014-06-05 19:22 UTC) >> >>>> _/ |\__'_|_|_|\__'_| | Commit e16ee44* (2 days old master) >> >>>> |__/ | x86_64-linux-gnu >> >>>> >> >>>> ERROR: Invalid history format. If you have a ~/.julia_history >> file >> >>>> left over from an older version of Julia, try renaming or >> deleting it. >> >>>> >> >>>> in hist_from_file at REPL.jl:277 >> >>>> in setup_interface at REPL.jl:594 >> >>>> in run_frontend at REPL.jl:718 >> >>>> in run_repl at REPL.jl:162 >> >>>> in _start at client.jl:396 >> > >> >
