Skip to content

Conversation

RealOrangeOne
Copy link
Member

@RealOrangeOne RealOrangeOne commented Dec 3, 2017

Add list of packages outside the standard library available if required.

Actually implemented in sourcebots/pi-image#7

@RealOrangeOne
Copy link
Member Author

Once the related implementation PR is merged, adapt to read libraries directly from the file in the pi-image repo

@RealOrangeOne RealOrangeOne changed the title Add list of additionally installed libraries [WIP] Add list of additionally installed libraries Dec 3, 2017
@RealOrangeOne RealOrangeOne changed the title [WIP] Add list of additionally installed libraries Add list of additionally installed libraries Dec 12, 2017
Copy link
Member

@sedders123 sedders123 left a comment

Choose a reason for hiding this comment

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

Couple of small things

title: Included Libraries
---

Python already comes with plenty of [built-in libraries](https://docs.python.org/3.4/py-modindex.html) to use, However there are some extra ones installed which may be of us:
Copy link
Member

Choose a reason for hiding this comment

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

Once #45 is merged could https://docs.python.org/3.4/ be replaced with the python_version variable?

Copy link
Member

Choose a reason for hiding this comment

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

'may be of us' should be 'may be of use' ? also 'However' should not be capitalised after a comma

.spelling Outdated
4mm
2.2A.
numpy
scipy
Copy link
Member

Choose a reason for hiding this comment

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

trailing newline?

trickeydan
trickeydan previously approved these changes Dec 15, 2017
@RealOrangeOne RealOrangeOne merged commit 6fd2d9c into master Dec 15, 2017
@RealOrangeOne RealOrangeOne deleted the included-libraries branch December 15, 2017 22:21
RealOrangeOne pushed a commit that referenced this pull request Jul 9, 2023
RealOrangeOne pushed a commit that referenced this pull request Jul 9, 2023
RealOrangeOne pushed a commit that referenced this pull request Jul 16, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants