精益格式化器
这个原型是一个python库,可将精益文件转换为其他文件,例如html文件的另一个精益文件。
安装
您需要Python 3.7或更高版本以及Lean。 确保已安装python软件包管理器pip 。 克隆此存储库,转到其根目录并运行pip install . (如果需要,请使用sudo -H )。 还建议安装ipython以进行交互使用。 另外,如果您不想弄乱全局python环境,则可以使用专用的虚拟环境。 在更完整的对此进行了说明。
用法
如果您只想使用我的示例格式化程序,则可以简