libohad-dev/dotfiles
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
481 commits 1 branch 0 tags 1.1 MiB
Commit graph

481 commits

This branch
This branch
All branches
Author SHA1 Message Date
Ohad Livne
b7ad416928
Clone Lilypond from the upstream repository and support updates 2026-02-12 08:33:37 +02:00
Ohad Livne
320322d48b
Create an optional hook system for externally-managed verification 2026-02-11 22:54:58 +02:00
Ohad Livne
e8250ba10c
Write a workflow for formal spec-driven development based on TLA+ 2026-02-11 22:54:57 +02:00
Ohad Livne
a008426031
Install TLAPS for stronger verification of TLA+ models 2026-02-11 22:54:57 +02:00
Ohad Livne
667914aecf
Support installing a specific project release 2026-02-11 22:54:56 +02:00
Ohad Livne
69126123ff
Install the TLA+ toolchain as CLI tools 2026-02-11 22:54:52 +02:00
Ohad Livne
f7642dc396
Install the Java development environment 2026-02-10 12:10:12 +02:00
Ohad Livne
049c8854a0
Use Rust via the rustup toolchain 2026-02-10 12:10:11 +02:00
Ohad Livne
9173b92ea9
Install the F* toolchain 2026-02-10 12:10:10 +02:00
Ohad Livne
0e61f5f32f
Support dynamic resource selection 2026-02-10 12:10:09 +02:00
Ohad Livne
4cc2af055d
Enable line wrapping globally 2026-02-10 12:10:08 +02:00
Ohad Livne
378fdeb3f9
Add a keybinding for markdown preview 2026-02-10 12:10:08 +02:00
Ohad Livne
26bc0cba83
Install boto3 type stubs in the pylsp environment 2026-02-07 00:34:49 +02:00
Ohad Livne
445e653d22
Read arrays cleanly 2026-02-07 00:34:49 +02:00
Ohad Livne
aa92f5c88a
Handle failures updating Git repo packages gracefully 2026-02-07 00:34:48 +02:00
Ohad Livne
7c036ccd7f
Install the Kingfisher service image for secret detection 2026-02-07 00:26:46 +02:00
Ohad Livne
b77c518b79
Disable the testcontainers reaper service by default 2026-02-07 00:26:46 +02:00
Ohad Livne
a0f7abdd9d
Create a script to clean up dangling buildah containers 2026-02-07 00:26:45 +02:00
Ohad Livne
2c4ded838a
Install agentbox from the live git repo 2026-02-07 00:26:45 +02:00
Ohad Livne
b26eea3f57
Create a script for listing and selecting urgent windows in sway 2026-02-07 00:26:44 +02:00
Ohad Livne
74cf768800
Give visual cues on terminal bell 2026-02-07 00:26:44 +02:00
Ohad Livne
6da2e08b43
Replace pipx with uv for installing Python-based tools 2026-02-07 00:26:43 +02:00
Ohad Livne
ffbd7a7d35
Integrate Emacs package updates into the system upgrade script 2026-02-07 00:26:43 +02:00
Ohad Livne
b89f91ab90
Install docker type stubs in the lsp venv 2026-02-07 00:26:42 +02:00
Ohad Livne
469b8cfb2d
Ensure mounted directories exist 2026-02-07 00:26:42 +02:00
Ohad Livne
f6fe70a08d
Clean images after updates 2026-02-07 00:26:42 +02:00
Ohad Livne
0503aed013
Enable auto updates for the service containers 2026-02-07 00:26:41 +02:00
Ohad Livne
c852e5862a
Configure testcontainers to use the podman socket 2026-02-07 00:26:41 +02:00
Ohad Livne
0410013e1e
Install testcontainers in the lsp venv for type inference 2026-02-07 00:26:40 +02:00
Ohad Livne
0bf8396805
Install a GPU monitor utility 2026-02-07 00:26:40 +02:00
Ohad Livne
bc83a3d28b
All things deserve to be known by their true name 2026-02-07 00:26:39 +02:00
Ohad Livne
1c10b1b5f2
Rely on podman's built-in update mechanism 2026-02-07 00:26:39 +02:00
Ohad Livne
9aa9851367
Parse flag-like inputs as literal names 2026-02-07 00:26:38 +02:00
Ohad Livne
0c312bf1a2
Add input validation - the script only supports editing a single file 2026-02-07 00:26:38 +02:00
Ohad Livne
f2e5d75d2b
Write a run0-based alternative to sudoedit 2026-02-07 00:26:38 +02:00
Ohad Livne
c2e29a3bfe
Increase the cache TTL for loaded models 2026-02-07 00:26:37 +02:00
Ohad Livne
ed13b2653d
Transparently use run0 instead of sudo 2026-02-07 00:26:37 +02:00
Ohad Livne
bd156c1641
Replace sudo with run0 in all scripts 2026-02-07 00:26:36 +02:00
Ohad Livne
a4bbd8eb66
Replace sudo with run0 in scripts that only use it once 2026-02-07 00:26:36 +02:00
Ohad Livne
619a6e7f3a
Run service containers in the transient store for speed and safety 2026-02-07 00:26:35 +02:00
Ohad Livne
c4bc942307
Use a read-only root filesystem in service containers 2026-02-07 00:26:35 +02:00
Ohad Livne
4f1ff6fc82
Collect all the flyspell configuration options together 2026-02-07 00:26:34 +02:00
Ohad Livne
a459460426
Detach the Transmission server from the host network 2026-02-07 00:26:34 +02:00
Ohad Livne
b70c20603e
Integrate PlantUML mode with org-mode code blocks 2026-02-07 00:26:34 +02:00
Ohad Livne
4d8b0ab47c
Setup PlantUML mode in Emacs to use the local server 2026-02-07 00:26:33 +02:00
Ohad Livne
c4fb544f41
Start a local PlantUML server on boot 2026-02-07 00:26:33 +02:00
Ohad Livne
cd5958bd21
Use long option names 2026-02-07 00:26:32 +02:00
Ohad Livne
c25d98ee20
Update binary name 2026-02-07 00:26:32 +02:00
Ohad Livne
985a2cbe63
Enable tree-sitter-integrated modes 2026-02-07 00:26:31 +02:00
Ohad Livne
102ac50623
Use conventional commenting style for Emacs Lisp 2026-02-07 00:26:31 +02:00