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 <cnbiz...@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 <cnbiz...@gmail.com
<mailto:cnbiz...@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
