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
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
lean_qi-0.0.1.tar.gz
(9.3 kB
view details)
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
lean_qi-0.0.1-py3-none-any.whl
(10.2 kB
view details)
File details
Details for the file lean_qi-0.0.1.tar.gz.
File metadata
- Download URL: lean_qi-0.0.1.tar.gz
- Upload date:
- Size: 9.3 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via:
twine/6.1.0 CPython/3.11.8
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
6725001a0bfb45139984e82681227e554c6216617635941cc13b16c96cdebc86
|
|
| MD5 |
06c7e3c4a5ef181a9a9e6b479885e1fc
|
|
| BLAKE2b-256 |
552dc7ed98e08eb284928b642a2130784774f840d3471db80f57ff28bc2e2178
|
File details
Details for the file lean_qi-0.0.1-py3-none-any.whl.
File metadata
- Download URL: lean_qi-0.0.1-py3-none-any.whl
- Upload date:
- Size: 10.2 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via:
twine/6.1.0 CPython/3.11.8
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
369b3839cdeef96da14881d650d74b3b286dd33498a2b1cacabf553a9f4e2434
|
|
| MD5 |
368a4ca1b5fc1dd7751444d8029811aa
|
|
| BLAKE2b-256 |
68b4e8c5d5b9eb85f7be5101ec4a3a64457f5ec5d9d9b6d9f1b2825b047b3a16
|
