Delete startup.jl
Browse files- startup.jl +0 -19
startup.jl
DELETED
@@ -1,19 +0,0 @@
|
|
1 |
-
ENV["PYTHON"]="/venv/bin/python"
|
2 |
-
ENV["JULIA_NUM_THREADS"] = 8
|
3 |
-
ENV["JULIA_PKG_DEVDIR"] = "/home/workspace"
|
4 |
-
|
5 |
-
ENV["OPENAI_API_KEY"] = "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"
|
6 |
-
ENV["PINECONE_API_KEY"] = "5faec954-a6c5-4af5-a577-89dbd2e4e5b0"
|
7 |
-
|
8 |
-
using Revise
|
9 |
-
|
10 |
-
function restart()
|
11 |
-
startup = """
|
12 |
-
Base.ACTIVE_PROJECT[]=$(repr(Base.ACTIVE_PROJECT[]))
|
13 |
-
Base.HOME_PROJECT[]=$(repr(Base.HOME_PROJECT[]))
|
14 |
-
cd($(repr(pwd())))
|
15 |
-
"""
|
16 |
-
cmd = `$(Base.julia_cmd()) -ie $startup`
|
17 |
-
atexit(()->run(cmd))
|
18 |
-
exit(0)
|
19 |
-
end
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|