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.

Sign up for GitHub

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 Deps.pip a closure again #1240

Merged
merged 8 commits into from
Mar 24, 2020
Merged

Make Deps.pip a closure again #1240

Changes from 1 commit
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
41d9699
Make Deps.pip a closure again
mortenpi Feb 17, 2020
c5a206b
Set version to 0.25.0-dev
mortenpi Feb 18, 2020
202b5d5
Update CHANGELOG.md
mortenpi Feb 18, 2020
5e0ddf8
Merge branch 'master' into mp/pip
mortenpi Mar 10, 2020
ed80085
Use +0.XX-DEV suffix in version
mortenpi Mar 20, 2020
3b284d1
Merge branch 'master' into mp/pip
mortenpi Mar 24, 2020
e3a9ba6
Support build numbers in Documenter version number
mortenpi Mar 24, 2020
5134000
Merge branch 'mp/pip' of github.com:JuliaDocs/Documenter.jl into mp/pip
mortenpi Mar 24, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 1 addition & 5 deletions src/Deps.jl
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -29,11 +29,7 @@ deploydocs(
)
```
"""
function pip(deps...)
for dep in deps
run(`pip install --user $(dep)`)
end
end
pip(deps...) = () -> map(dep -> run(`pip install --user $(dep)`), deps)


function localbin()
Expand Down