Well, as of julia-0.4.0-1454~ubuntu14.04.1 It still happens. By the way, I was wrong about which package to blame, it's not julia-doc but julia itself (julia-doc contains the manual and other documentation, but the basic help strings the REPL help() functions prints are actually in the julia package).
I'm pretty sure this is a .deb package problem and not an issue with Julia itself, so I'll tell the PPA maintainer. On Sunday, November 16, 2014 10:21:01 PM UTC-5, Isaiah wrote: > > If this is not fixed now, please file an issue. > > On Thu, Nov 13, 2014 at 5:30 PM, Omar Antolín Camarena < > omar.a...@gmail.com <javascript:>> wrote: > >> The julianightlies PPA at some point moved the documentation into a >> separate package, julia-doc, that seems to have a slight problem: >> >> julia> help(help) >> ERROR: could not open file /usr/share/doc/julia/helpdb.jl >> in include at ./boot.jl:242 >> in include_from_node1 at ./loading.jl:128 >> in evalfile at loading.jl:168 (repeats 2 times) >> in init_help at help.jl:39 >> in help at help.jl:89 >> in help at help.jl:166 >> in help at help.jl:181 >> >> My guess is that the problem is that, as is common in Debian packages, >> the files in the julia-doc package are gzipped and the help() function >> doesn't expect that. >> Indeed, after running >> >> sudo gunzip /usr/share/doc/julia/helpdb.jl.gz >> >> the help() function seems to work in the REPL again. >> >> >