lean-qi
lean-qi 是一个命令行工具，帮助用户在不同操作系统上自动安装 Lean 语言的工具链管理器 elan。本工具专为网络受限环境设计，自动选择并使用稳定高速的国内镜像源，无需用户手动配置。
特点
- 一条命令自动安装
elan，无需手动下载或配置镜像。 - 安装脚本已内置于包中，安装过程无需访问官方源站点。
- 支持 Linux、macOS 和 Windows。
安装
需要 Python 3.7 及以上版本。
通过 PyPI 安装：
pip install lean-qi
使用方法
安装完成后，在终端或命令行输入：
leanup install
程序会自动检测你的操作系统，并执行对应的安装流程。整个过程无需任何额外配置。
工作原理
lean-qi 在发布前会自动查询可用的国内镜像地址，并将其写入内置的安装脚本。用户在使用时，工具会直接调用这些经过优化的脚本，确保安装过程顺畅可靠。用户无需关心镜像的选择和配置，所有细节都已自动处理。
许可证
本项目采用 MIT 许可证。
作者: Hewzhew
1 maintainer
Metadata
1 maintainer
Release files for lean-qi 0.0.1
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| lean_qi-0.0.1.tar.gz | 9.3 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| lean_qi-0.0.1-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 19.6 kB
Release files / lean_qi-0.0.1.tar.gz
| Download URL | lean_qi-0.0.1.tar.gz |
|---|---|
| Size | 9.3 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
6725001a0bfb45139984e82681227e554c6216617635941cc13b16c96cdebc86
|
|
BLAKE2b-256 checksum How to use checksums |
552dc7ed98e08eb284928b642a2130784774f840d3471db80f57ff28bc2e2178
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.1.0 CPython/3.11.8
|
Release files / lean_qi-0.0.1-py3-none-any.whl
| Download URL | lean_qi-0.0.1-py3-none-any.whl |
|---|---|
| Size | 10.2 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
369b3839cdeef96da14881d650d74b3b286dd33498a2b1cacabf553a9f4e2434
|
|
BLAKE2b-256 checksum How to use checksums |
68b4e8c5d5b9eb85f7be5101ec4a3a64457f5ec5d9d9b6d9f1b2825b047b3a16
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.1.0 CPython/3.11.8
|
