Ohad Livne

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-02-10 10:10:41 +00:00

f193d626ab Install the TLA+ toolchain as CLI tools

f7642dc396 Install the Java development environment

049c8854a0 Use Rust via the rustup toolchain

9173b92ea9 Install the F* toolchain

0e61f5f32f Support dynamic resource selection

Compare 7 commits »

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-02-06 22:35:24 +00:00

26bc0cba83 Install boto3 type stubs in the pylsp environment

445e653d22 Read arrays cleanly

aa92f5c88a Handle failures updating Git repo packages gracefully

Compare 3 commits »

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-02-06 22:27:41 +00:00

7c036ccd7f Install the Kingfisher service image for secret detection

b77c518b79 Disable the testcontainers reaper service by default

a0f7abdd9d Create a script to clean up dangling buildah containers

2c4ded838a Install agentbox from the live git repo

b26eea3f57 Create a script for listing and selecting urgent windows in sway

Compare 75 commits »

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-01-15 20:26:02 +00:00

f0d9d8891a Install the Kingfisher service image for secret detection

c5d3f37222 Disable the testcontainers reaper service by default

5c701586d8 Create a script to clean up dangling buildah containers

Compare 3 commits »

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-01-12 20:30:11 +00:00

bf92740823 Install agentbox from the live git repo

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-01-09 22:03:13 +00:00

7e6272540d Create a script for listing and selecting urgent windows in sway

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-01-07 22:32:04 +00:00

39250fd4f2 Give visual cues on terminal bell

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-01-07 21:22:36 +00:00

d1e206805b Replace pipx with uv for installing Python-based tools

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-01-03 21:09:54 +00:00

a37fa4f0d7 Integrate Emacs package updates into the system upgrade script

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-01-03 20:40:30 +00:00

ce00fe50dc Install docker type stubs in the lsp venv

ff41e71ed5 Ensure mounted directories exist

3d40752a91 Clean images after updates

Compare 3 commits »

libohad-dev pushed to trunk at libohad-dev/dotfiles

2025-12-29 22:26:55 +00:00

c0740c39f8 Enable auto updates for the service containers

libohad-dev pushed to trunk at libohad-dev/dotfiles

2025-12-29 22:24:45 +00:00

299de502fc Enable auto updates for the service containers

libohad-dev pushed to trunk at libohad-dev/dotfiles

2025-12-29 07:38:43 +00:00

93f0d00179 Configure testcontainers to use the podman socket

96568a1103 Install testcontainers in the lsp venv for type inference

Compare 2 commits »

libohad-dev pushed to trunk at libohad-dev/dotfiles

2025-12-26 15:49:05 +00:00

331954c204 Install a GPU monitor utility

69cbc19188 All things deserve to be known by their true name

Compare 2 commits »

libohad-dev pushed to trunk at libohad-dev/dotfiles

2025-12-25 22:23:54 +00:00

f6544f6dd7 Rely on podman's built-in update mechanism

libohad-dev pushed to trunk at libohad-dev/dotfiles

2025-12-25 22:22:15 +00:00

50669f24b6 Rely on podman's built-in update mechanism

libohad-dev pushed to trunk at libohad-dev/dotfiles

2025-12-25 22:08:39 +00:00

db05998d6c Parse flag-like inputs as literal names

6a06a995b0 Add input validation - the script only supports editing a single file

Compare 2 commits »

libohad-dev pushed to trunk at libohad-dev/dotfiles

2025-12-25 22:04:30 +00:00

36d1221256 Parse flag-like inputs as literal names

4cfa7ed76b Add input validation - the script only supports editing a single file

888434d5d9 Write a run0-based alternative to sudoedit

Compare 3 commits »

libohad-dev pushed to trunk at libohad-dev/dotfiles

2025-12-24 20:31:29 +00:00

5716e68abd Increase the cache TTL for loaded models

libohad-dev pushed to trunk at libohad-dev/dotfiles

2025-12-24 20:18:43 +00:00

6f3c6f0409 Transparently use run0 instead of sudo

5ca5d6386d Replace sudo with run0 in all scripts

30aa59ddfd Replace sudo with run0 in scripts that only use it once

Compare 3 commits »