1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
|
#!/usr/bin/env python3
import argparse
import re
from datetime import datetime
from pathlib import Path
import bottle
from bottle import request, run
def latest_file(directory: Path) -> Path | None:
files = [p for p in directory.glob("*.md") if re.match(r"^\d{14}\.md$", p.name)]
return max(files, key=lambda p: p.stat().st_mtime) if files else None
def save(directory: Path, text: str) -> None:
filename = f"{datetime.now():%Y%m%d%H%M%S}.md"
path = directory / filename
path.write_text(text, encoding="utf-8")
def make_page(directory: Path) -> str:
latest = latest_file(directory)
content = latest.read_text(encoding="utf-8") if latest else ""
filename = latest.name if latest else "(none)"
return f"""<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>notes</title>
<style>
body {{ max-width: 800px; margin: 2em auto; padding: 0 1em; font-family: system-ui, sans-serif; }}
.meta {{ color: #666; font-size: 0.85em; margin-bottom: 1em; }}
textarea {{ width: 100%; height: 75vh; font-family: monospace; font-size: 14px; padding: 0.5em; }}
button {{ padding: 0.4em 1.2em; margin-top: 0.5em; }}
</style>
</head>
<body>
<div class="meta">latest: {filename}</div>
<form method="POST" action="save">
<textarea name="text" spellcheck="true">{bottle.html_escape(content)}</textarea>
<br><button>save</button>
</form>
</body>
</html>"""
def main():
parser = argparse.ArgumentParser(description="note server")
parser.add_argument("directory", type=Path, help="where to store .md files")
parser.add_argument("--host", default="127.0.0.1")
parser.add_argument("--port", type=int, default=8080)
args = parser.parse_args()
args.directory.mkdir(parents=True, exist_ok=True)
@bottle.route("/")
def index():
return make_page(args.directory)
@bottle.route("/save", method="POST")
def save_route():
text = request.forms.get("text", "")
save(args.directory, text)
return bottle.redirect("/")
run(host=args.host, port=args.port)
if __name__ == "__main__":
main()
|
