Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

make workspace() reload .juliarc.jl #10351

Closed
tpapp opened this issue Feb 27, 2015 · 4 comments · Fixed by #25046
Closed

make workspace() reload .juliarc.jl #10351

tpapp opened this issue Feb 27, 2015 · 4 comments · Fixed by #25046
Labels
help wanted Indicates that a maintainer wants help on an issue or pull request

Comments

@tpapp
Copy link
Contributor

tpapp commented Feb 27, 2015

In the manual/FAQ/discussions, workspace() is the recommended way of getting a "clean slate", that should be equivalent to restarting Julia (except for LastMain etc).

Arguably, workspace() then should also reload .juliarc.jl in certain cases.

For example, having an optional reload-startup argument would make sense, with the following options:

  1. :auto, which is the default. Reload unless the process was started with --startup-file=no, or -f.
  2. false: never reload.
  3. true: reload unconditionally.
@tpapp
Copy link
Contributor Author

tpapp commented Mar 2, 2015

In fact, it would be even nicer if there was a more general mechanism to reload code after a call to workspace(). For example, ESS defines a module ESS it uses for interacting with the inferior Julia process, which gets wiped out after workspace().

A solution could be defining a variable workspace-hook, which would be a vector of functions (possibly anonymous) that would be called by workspace(). ESS-like interfaces would just add to this hook (possibly with an API).

@ihnorton ihnorton added the help wanted Indicates that a maintainer wants help on an issue or pull request label Apr 30, 2015
@ihnorton
Copy link
Member

@ihnorton
Copy link
Member

crossref #6445

@tomasaschan
Copy link
Member

crossref #12314

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
help wanted Indicates that a maintainer wants help on an issue or pull request
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants