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

Refactor WorkspaceManager #2318

Merged
merged 1 commit into from
Oct 18, 2022
Merged

Refactor WorkspaceManager #2318

merged 1 commit into from
Oct 18, 2022

Conversation

savq
Copy link
Contributor

@savq savq commented Oct 16, 2022

No functional changes here. Just a renamed variable and formatting.

  • Rename workspaces to active_workspaces
  • Prefer quote blocks to colon quote expressions
  • Prefer if blocks to ternary operators
  • Prefer function calls instead of pipes
  • Minor changes to docstrings and comments
  • Remove trailing whitespace

Creating this PR instead of wating on #2240 because rebasing was getting tedious.

@github-actions
Copy link
Contributor

Try this Pull Request!

Open Julia and type:

julia> import Pkg
julia> Pkg.activate(temp=true)
julia> Pkg.add(url="https://github.com/savq/Pluto.jl", rev="wm")
julia> using Pluto

@fonsp
Copy link
Owner

fonsp commented Oct 17, 2022

Looks fine otherwise!

- Rename `workspaces` to `active_workspaces`
- Prefer quote blocks to colon quote expressions
- Prefer if blocks to ternary operators
- Remove single pipes
- Minor changes to docstrings and comments
- Remove trailing whitespace
@fonsp
Copy link
Owner

fonsp commented Oct 18, 2022

force push means that i have to review the whole PR a second time 😢 but I guess it looks fine!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants