| Age | Commit message (Collapse) | Author |
|---|
|
Signed-off-by: Damien George <damien@micropython.org>
|
|
Adding a port number other then 443 to a PyPI URL may be needed if a local
server like devpi is used.
|
|
This is run with uncrustify 0.70.1, and black 19.10b0.
|
|
The user can now select their own package index by either passing the "-i"
command line option, or setting the upip.index_urls variable (before doing
an install).
The https://micropython.org/pi package index hosts packages from
micropython-lib and will be searched first when installing a package. If a
package is not found here then it will fallback to PyPI.
|
|
|
|
Uses new pypi.org URL, and now creates a socket with the address parameters
returned by getaddrinfo().
|
|
TLS SNI support, fixes after making str.rstrip() behavior compliant.
|
|
Memory optimizations and error handling improvements.
|
|
|
|
|
|
To make its inclusion as frozen modules in multiple ports less magic.
Ports are just expected to symlink 2 files into their scripts/modules
subdirs.
Unix port updated to use this and in general follow frozen modules setup
tested and tried on baremetal ports, where there's "scripts" predefined
dir (overridable with FROZEN_DIR make var), and a user just drops Python
files there.
|
