[julia-users] Re: History file in Ubuntu

[Konstantinos Prokopidis]

Thank you very much! It was a hidden file in home directory