deploy at 2024-06-29 16:29:52.130254

Dockerfile

@@ -0,0 +1,10 @@
+FROM python:3.10
+WORKDIR /code
+COPY --link --chown=1000 . .
+RUN mkdir -p /tmp/cache/
+RUN chmod a+rwx -R /tmp/cache/
+ENV HF_HUB_CACHE=HF_HOME
+RUN pip install --no-cache-dir -r requirements.txt
+
+ENV PYTHONUNBUFFERED=1 PORT=7860
+CMD ["python", "main.py"]

README.md

@@ -1,10 +1,35 @@
 ---
-title: Fasthtml Todos
-emoji: 🐨
+title: FastHTML Todos
 colorFrom: green
-colorTo: blue
+colorTo: green
 sdk: docker
 pinned: false
+license: apache-2.0
 ---
 
-Check out the configuration reference at https://huggingface.co/docs/hub/spaces-config-reference
+# FastHTML on 🤗 Spaces
+
+Deploy a FastHTML application to [HuggingFace Spaces](https://huggingface.co/spaces) for free with one command!
+
+## Quickstart
+
+1. Create a free account on [HuggingFace](https://huggingface.co)
+2. Go to your account settings and create an access token with write access. Keep this token safe and don't share it.
+3. Set the `HF_TOKEN` environment variable to that token
+4. Install the huggingface hub client library (`pip install huggingface-hub`).
+5. Run the `deploy_hf.py` script and pass the name you want to give your space along with your token, e.g. `python deploy_hf.py fasthtml-todos <token>`.
+
+By default this will upload a public space. You can make it private with the `--private` flag.
+
+## Configuration
+
+The space will upload a backup of your database to a [HuggingFace Dataset](https://huggingface.co/datasets). By default it will be private and its name will be `<your-huggingface-id>/todos-backup`. You can change this behavior in the `config.ini` file. In not provided, a default file will be created with the contents (note that the `[DEFAULT]` line is required at the top):
+
+```
+[DEFAULT]
+dataset_id = todos-backup
+db_dir = data
+private_backup = True
+```
+
+If you so choose, you can disable the automatic backups and use [persistent storage](https://huggingface.co/docs/hub/en/spaces-storage#persistent-storage-specs) instead for $5/month (USD). 

config.ini

@@ -0,0 +1,5 @@
+[DEFAULT]
+dataset_id = todos-backup
+db_dir = data
+private_backup = True
+

main.py

@@ -0,0 +1,80 @@
+from fasthtml.common import *
+from backup import upload, download
+
+db = database("data/utodos.db")
+todos,users = db.t.todos,db.t.users
+if todos not in db.t:
+    users.create(name=str, pwd=str, pk='name')
+    todos.create(id=int, title=str, done=bool, name=str, pk='id')
+Todo,User = todos.dataclass(),users.dataclass()
+
+id_curr = 'current-todo'
+def tid(id): return f'todo-{id}'
+
+def lookup_user(u,p):
+    try: user = users[u]
+    except NotFoundError: user = users.insert(name=u, pwd=p)
+    return user.pwd==p
+
+css = Style(':root { --pico-font-size: 100%; }')
+authmw = user_pwd_auth(lookup_user, skip=[r'/favicon\.ico', r'/static/.*', r'.*\.css'])
+
+def before(auth): todos.xtra(name=auth)
+
+app = FastHTML(hdrs=(picolink, css), middleware=authmw, before=before)
+rt = app.route
+
+@rt("/{fname:path}.{ext:static}")
+async def get(fname:str, ext:str): return FileResponse(f'{fname}.{ext}')
+
+@patch
+def __xt__(self:Todo):
+    show = AX(self.title, f'/todos/{self.id}', id_curr)
+    edit = AX('edit',     f'/edit/{self.id}' , id_curr)
+    dt = ' (done)' if self.done else ''
+    return Li(show, dt, ' | ', edit, id=tid(self.id))
+
+def mk_input(**kw): return Input(id="new-title", name="title", placeholder="New Todo", **kw)
+def clr_details(): return Div(hx_swap_oob='innerHTML', id=id_curr)
+
+@rt("/")
+async def get(request, auth):
+    add = Form(Group(mk_input(), Button("Add")),
+               hx_post="/", target_id='todo-list', hx_swap="beforeend")
+    card = Card(Ul(*todos(), id='todo-list'),
+                header=add, footer=Div(id=id_curr)),
+    title = 'Todo list'
+    top = Grid(H1(f"{auth}'s {title}"), Div(A('logout', href=basic_logout(request), target="_blank"), style='text-align: right'))
+    return Title(title), Main(top, card, cls='container')
+
+@rt("/todos/{id}")
+async def delete(id:int):
+    todos.delete(id)
+    return clr_details()
+
+@rt("/")
+async def post(todo:Todo):
+    return todos.insert(todo), mk_input(hx_swap_oob='true')
+
+@rt("/edit/{id}")
+async def get(id:int):
+    res = Form(Group(Input(id="title"), Button("Save")),
+        Hidden(id="id"), Checkbox(id="done", label='Done'),
+        hx_put="/", target_id=tid(id), id="edit")
+    return fill_form(res, todos[id])
+
+@rt("/")
+async def put(todo: Todo):
+    return todos.upsert(todo), clr_details()
+
+@rt("/todos/{id}")
+async def get(id:int):
+    todo = todos[id]
+    btn = Button('delete', hx_delete=f'/todos/{todo.id}',
+                 target_id=tid(todo.id), hx_swap="outerHTML")
+    return Div(Div(todo.title), btn)
+
+app.on_event("startup")(download)
+app.on_event("shutdown")(upload)
+
+run_uv()

requirements.txt

@@ -0,0 +1 @@
+python-fasthtml