webleank 0.1.1__tar.gz

webleank-0.1.1/.gitignore

@@ -0,0 +1,7 @@
+__pycache__
+dist
+build
+*.egg-info
+_version.py
+node_modules
+webleank/webapp/

webleank-0.1.1/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 E. Castedo Ellerman
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be
+included in all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
+FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
+DEALINGS IN THE SOFTWARE.

webleank-0.1.1/PKG-INFO

@@ -0,0 +1,34 @@
+Metadata-Version: 2.1
+Name: webleank
+Version: 0.1.1
+Summary: Link Lean sidekick web apps to LSP-enabled editors
+Author-email: Castedo Ellerman <castedo@castedo.com>
+License: MIT License
+        
+        Copyright (c) 2026 E. Castedo Ellerman
+        
+        Permission is hereby granted, free of charge, to any person obtaining a copy
+        of this software and associated documentation files (the "Software"), to deal
+        in the Software without restriction, including without limitation the rights
+        to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+        copies of the Software, and to permit persons to whom the Software is
+        furnished to do so, subject to the following conditions:
+        
+        The above copyright notice and this permission notice shall be
+        included in all copies or substantial portions of the Software.
+        
+        THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+        IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+        FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+        AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+        LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
+        FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
+        DEALINGS IN THE SOFTWARE.
+        
+Keywords: lean,lsp,language-server-protocol
+Classifier: Programming Language :: Python :: 3
+Classifier: Operating System :: POSIX
+Requires-Python: >=3.12
+License-File: LICENSE
+Requires-Dist: platformdirs
+Requires-Dist: websockets>=14.2

webleank-0.1.1/justfile

@@ -0,0 +1,23 @@
+#!/usr/bin/env -S just --justfile
+
+default:
+    just --list
+
+test:
+    ruff check webleank || true
+    mypy --strict webleank
+
+build:
+  cd webapp && npm install && npm run build
+  rm -rf webleank/webapp && mv webapp/dist webleank/webapp
+  python3 -m build --sdist --wheel --no-isolation
+
+clean:
+    rm -rf dist
+    rm -rf build
+    rm -rf *.egg-info
+    rm -f _version.py
+    rm -rf webapp/dist
+
+clean-fresh: clean
+    rm -rf webapp/node_modules

webleank-0.1.1/pyproject.toml

@@ -0,0 +1,52 @@
+[build-system]
+requires = ["setuptools >= 69.0.3", "setuptools_scm[simple] >= 8"]
+build-backend = "setuptools.build_meta"
+
+[project]
+name = "webleank"
+dynamic = ["version"]
+description = "Link Lean sidekick web apps to LSP-enabled editors"
+authors = [{name = "Castedo Ellerman", email = "castedo@castedo.com"}]
+license = {file = "LICENSE"}
+requires-python = ">=3.12"
+classifiers = [
+    "Programming Language :: Python :: 3",
+    "Operating System :: POSIX",
+]
+keywords = ["lean", "lsp", "language-server-protocol"]
+dependencies = [
+    "platformdirs",
+    "websockets>=14.2",
+]
+
+[project.scripts]
+webleank = "webleank.cli:main"
+
+[tool.setuptools.packages.find]
+include = ["webleank*"]
+
+[tool.setuptools.package-data]
+"webleank" = ["webapp/**"]
+
+[tool.setuptools_scm]
+version_file = "_version.py"
+
+[dependency-groups]
+test = [
+    "pytest >= 8",
+    "pytest-asyncio",
+]
+
+[tool.pytest.ini_options]
+asyncio_default_fixture_loop_scope = "function"
+asyncio_mode = "auto"
+pythonpath = ["."]
+
+[tool.ruff.format]
+quote-style = "preserve"
+docstring-code-format = false
+
+[tool.ruff.lint]
+ignore = [
+    "E401",  # Multiple imports on one line
+]

webleank-0.1.1/setup.cfg

@@ -0,0 +1,4 @@
+[egg_info]
+tag_build = 
+tag_date = 0
+

webleank-0.1.1/webapp/eslint.config.ts

@@ -0,0 +1,21 @@
+import eslint from '@eslint/js'
+import stylistic from '@stylistic/eslint-plugin'
+import tseslint from 'typescript-eslint'
+import { defineConfig, globalIgnores } from 'eslint/config'
+
+export default defineConfig([
+  globalIgnores(['dist']),
+  eslint.configs.recommended,
+  tseslint.configs.recommended,
+  stylistic.configs.customize({
+    indent: 2,
+    severity: 'warn',
+  }),
+  {
+    rules: {
+      '@typescript-eslint/no-explicit-any': 'warn',
+      '@typescript-eslint/no-unused-vars': 'warn',
+      // See https://eslint.style/rules to relax.
+    },
+  },
+])

webleank-0.1.1/webapp/index.html

@@ -0,0 +1,12 @@
+<!doctype html>
+<html lang="en">
+  <head>
+    <meta charset="UTF-8" />
+    <meta name="viewport" content="width=device-width, initial-scale=1.0" />
+    <title>Webleank Control Panel</title>
+  </head>
+  <body>
+    <div id="root"></div>
+    <script type="module" src="/src/main.tsx"></script>
+  </body>
+</html>