Skip to content
This repository was archived by the owner on Dec 21, 2022. It is now read-only.

wget: add pipe#27

Open
janfabry wants to merge 1 commit intojonathanslenders:masterfrom
janfabry:wget/pipe
Open

wget: add pipe#27
janfabry wants to merge 1 commit intojonathanslenders:masterfrom
janfabry:wget/pipe

Conversation

@janfabry
Copy link
Contributor

For immediate tar-extraction etc.

Not sure we really need this. Maybe we should remove the wget command altogether? It doesn't add that much value.

For immediate tar-extraction etc.
@jonathanslenders jonathanslenders force-pushed the master branch 2 times, most recently from cf54f50 to 32c1030 Compare October 21, 2014 08:59
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant