julia - 如何从正在运行的 session 中恢复 Julia 历史文件？

Question

住手!我不小心删除了我的 ~/.julia/logs 文件夹。

但好消息是我有几个正在运行的 julia session ，它们似乎对 julia REPL 历史有一些内存。

有谁知道是否有办法以某种方式从正在运行的 julia 进程的状态中反向转储历史文件？非常感谢!

Answer 1

这应该将它存储回一个文件，然后可以将其放入 .julia/logs/repl_history.jl:

function restore_repl_history()
    hist = Base.active_repl.interface.modes[1].hist
    open("restored_history.jl", "w") do io
        for (mode, cont) in zip(hist.modes, hist.history)
            println(io, "# time: $(Libc.strftime("%Y-%m-%d %H:%M:%S %Z", time()))")
            println(io, "# mode: $mode")
            s = join(split(cont, '\n'), "\n\t")
            println(io, "\t", s)
        end
    end
end