History file in Ubuntu
44 views
Skip to first unread message
Konstantinos Prokopidis
Jul 28, 2015, 3:46:46 AM7/28/15
to julia-users
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
Kaj Wiik
Jul 28, 2015, 4:10:34 AM7/28/15
to julia-users, kpro...@gmail.com
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
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
Konstantinos Prokopidis
Jul 28, 2015, 4:20:07 AM7/28/15
to julia-users, kaj....@gmail.com
Thank you very much! It was a hidden file in home directory
Reply all
Reply to author
Forward
0 new messages