Hi! I have it in $HOME/.julia_history as you assumed. Note that it will be written (created) when julia exits. So start julia, do something and exit and the file should be there.
Kaj On Tuesday, July 28, 2015 at 10:46:46 AM UTC+3, Konstantinos Prokopidis wrote: > > > > Hello, > I just installed julia 0.3.10 in Ubuntu 14.04 LTS. I can't find the > history file (.julia_history) in order to delete or rename it. I got a > message that .julia_history file left over from a > older version of Julia. Where is the history file in Ubuntu? > > Thanks in advance >
