Skip to content

Instantly share code, notes, and snippets.

/a.rb

Created January 7, 2015 18:19
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save anonymous/c87b56987fd876b53576 to your computer and use it in GitHub Desktop.
Save anonymous/c87b56987fd876b53576 to your computer and use it in GitHub Desktop.
root@Debian-70-wheezy-64-minimal:~# which julia
/usr/bin/julia
root@Debian-70-wheezy-64-minimal:~# cat /usr/local/share/jupyter/kernels/julia/kernel.json
{
"argv": [
"/usr/bin/julia",
"-i",
"-F",
"/root/.julia/v0.3/IJulia/src/kernel.jl",
"{connection_file}"
],
"display_name": "Julia"
}
root@Debian-70-wheezy-64-minimal:~# cat /root/.julia/v0.3/IJulia/src/kernel.jl
# workaround #60:
@osx_only ENV["PATH"] = JULIA_HOME*":"*ENV["PATH"]
include("IJulia.jl")
using IJulia
IJulia.init(ARGS)
# import things that we want visible in IJulia but not in REPL's using IJulia
import IJulia.ans
include("inline.jl")
using IPythonDisplay
pushdisplay(InlineDisplay())
ccall(:jl_install_sigint_handler, Void, ())
# the size of truncated output to show should not depend on the terminal
# where the kernel is launched, since the display is elsewhere
ENV["LINES"] = 30
ENV["COLUMNS"] = 80
println(IJulia.orig_STDOUT, "Starting kernel event loops.")
IJulia.watch_stdio()
# workaround JuliaLang/julia#4259
delete!(task_local_storage(),:SOURCE_PATH)
# workaround JuliaLang/julia#6765
eval(Base, :(is_interactive = true))
IJulia.waitloop()
root@Debian-70-wheezy-64-minimal:~#
root@Debian-70-wheezy-64-minimal:~#
root@Debian-70-wheezy-64-minimal:~#
root@Debian-70-wheezy-64-minimal:~# julia
_
_ _ _(_)_ | A fresh approach to technical computing
(_) | (_) (_) | Documentation: http://docs.julialang.org
_ _ _| |_ __ _ | Type "help()" for help.
| | | | | | |/ _` | |
| | |_| | | | (_| | | Version 0.3.2
_/ |\__'_|_|_|\__'_| |
|__/ | x86_64-linux-gnu
julia> Pkg.add("IJulia")
INFO: Nothing to be done
julia> qui()
ERROR: qui not defined
julia> quit()
root@Debian-70-wheezy-64-minimal:~#
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment