Skip to content
This repository was archived by the owner on Oct 12, 2023. It is now read-only.

Add install script for those not using devcontainer #322

Merged
merged 8 commits into from
Nov 12, 2020
Merged

Add install script for those not using devcontainer #322

merged 8 commits into from
Nov 12, 2020

Conversation

Porges
Copy link
Member

@Porges Porges commented Nov 10, 2020

This installs the tools to $clone/hack/tools instead. There is a dev.sh script to run to get into a shell with a PATH pointing to the right place.

@Porges Porges requested a review from devigned as a code owner November 10, 2020 23:06
Porges
Porges commented Nov 10, 2020
View reviewed changes
Copy link
Member Author

@Porges Porges left a comment •
edited
Loading

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Needs a fix before merge (done)

@coveralls
Copy link

coveralls commented Nov 10, 2020 •
edited
Loading

Coverage Status

Coverage increased (+0.05%) to 63.958% when pulling 0a87074 on install-script into 666b722 on master.

babbageclunk
babbageclunk approved these changes Nov 11, 2020
View reviewed changes
Copy link
Member

@babbageclunk babbageclunk left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks awesome!

@Porges Porges merged commit e2be304 into master Nov 12, 2020
@Porges Porges deleted the install-script branch November 12, 2020 02:49
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@babbageclunk babbageclunk babbageclunk approved these changes

@devigned devigned Awaiting requested review from devigned devigned is a code owner

@matthchr matthchr Awaiting requested review from matthchr matthchr is a code owner

@theunrepentantgeek theunrepentantgeek Awaiting requested review from theunrepentantgeek theunrepentantgeek is a code owner

Assignees

@Porges Porges

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@Porges @coveralls @babbageclunk