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

519 commits

This branch
This branch
All branches
Author SHA1 Message Date
Ohad Livne
b81057e26a
Restrict service resource usage 2026-04-18 11:28:05 +03:00
Ohad Livne
664c187bcf
Ignore local Claude Code files globally 2026-04-13 19:45:48 +03:00
Ohad Livne
b4838af164
Use a widely-available terminal config in SSH remotes 2026-04-13 08:33:37 +03:00
Ohad Livne
c18017eef4
Create periodic healthcheck units for the transient store 2026-04-13 08:33:37 +03:00
Ohad Livne
c852857583
Support health checks for the services 2026-04-13 08:33:36 +03:00
Ohad Livne
203e6656da
Check for image updates on startup 2026-04-13 08:33:36 +03:00
Ohad Livne
8f927221b4
Only expose access ports on the localhost network 2026-04-13 08:33:35 +03:00
Ohad Livne
e4b0e731d6
Restrict service container privileges 2026-04-13 08:33:35 +03:00
Ohad Livne
6ca9d88995
Install SimpleX Chat from the GitHub repository 2026-04-13 08:33:34 +03:00
Ohad Livne
34d62d92b2
Short-circuit installation commands on failure 2026-04-13 08:33:34 +03:00
Ohad Livne
6b27d7e5e2
Use hardened defaults for SSH connections 2026-04-13 08:33:34 +03:00
Ohad Livne
d6b105d2ec
Sort keybindings 2026-04-11 12:30:25 +03:00
Ohad Livne
93baa452d5
Back up the password databases 2026-04-07 20:59:44 +03:00
Ohad Livne
a878cf7683
Update the script to work in strict mode 2026-04-07 20:59:44 +03:00
Ohad Livne
505e36e868
DRY the sync backup script 2026-04-07 20:59:43 +03:00
Ohad Livne
0e1586e6f2
Install a CLI tool for Hetzner Cloud 2026-04-06 23:28:20 +03:00
Ohad Livne
aa1b9433db
Provide installation suggestions for missing utilities 2026-04-06 21:47:28 +03:00
Ohad Livne
48d960878d
Correctly update executable links 2026-04-06 21:45:55 +03:00
Ohad Livne
f3020c0acd
Set core rules for Claude Code behavior 2026-03-12 17:35:41 +02:00
Ohad Livne
6f333e34f3
Create a local plugin for pylsp integration 2026-03-12 14:24:13 +02:00
Ohad Livne
c72c019ee8
Increase Claude's context window size 2026-03-12 14:24:12 +02:00
Ohad Livne
00f3a97e63
Permit additional actions 2026-03-12 14:24:11 +02:00
Ohad Livne
a7285ab6b7
Update built-in markdown package name 2026-03-09 15:14:29 +02:00
Ohad Livne
1b39e7bf04
Update elpaca version 2026-03-09 15:14:28 +02:00
Ohad Livne
c2430308c7
Rename workflow steps for lexical order 2026-03-07 22:04:45 +02:00
Ohad Livne
77b25c461e
Scope some workflow steps to individual features 2026-03-07 22:04:44 +02:00
Ohad Livne
53e83a666b
Update Claude WebFetch permissions 2026-03-07 22:04:44 +02:00
Ohad Livne
16b89024b5
Update Claude settings 2026-03-07 22:04:43 +02:00
Ohad Livne
65d8a4677c
Add human-in-the-loop interactivity to the implementation step 2026-03-07 15:23:39 +02:00
Ohad Livne
eeb5e6159e
Fix instruction order in the spec-formalization step 2026-03-07 15:23:39 +02:00
Ohad Livne
de599d1850
Add a hint argument to more steps in the spec-driven workflow 2026-03-07 15:23:38 +02:00
Ohad Livne
24de9f41a4
Explicitly ensure all used packages 2026-03-07 15:23:38 +02:00
Ohad Livne
84bbec5ece
Track Claude personalization settings 2026-03-07 15:23:37 +02:00
Ohad Livne
1976c2cb8b
Update Claude settings 2026-02-28 09:44:03 +02:00
Ohad Livne
9b59151d13
Teach Emacs to generate UUID (version 4) identifiers 2026-02-28 09:44:02 +02:00
Ohad Livne
c219b95dbd
Add a skill for profiling and optimization 2026-02-28 09:44:01 +02:00
Ohad Livne
17286e6f60
Track Claude Code settings 2026-02-28 09:44:00 +02:00
Ohad Livne
f370e1f5c7
Create a TDD workflow for Claude Code 
Adapted from https://alexop.dev/posts/custom-tdd-workflow-claude-code-vue/
 2026-02-28 09:43:59 +02:00
Ohad Livne
dd86ddccd9
Clone Lilypond from the upstream repository and support updates 2026-02-28 09:43:58 +02:00
Ohad Livne
185199aaad
Create an optional hook system for externally-managed verification 2026-02-28 09:43:58 +02:00
Ohad Livne
d8f0429537
Write a workflow for formal spec-driven development based on TLA+ 2026-02-28 09:43:57 +02:00
Ohad Livne
b8546200a4
Install TLAPS for stronger verification of TLA+ models 2026-02-28 09:43:56 +02:00
Ohad Livne
4159e4d73d
Support installing a specific project release 2026-02-28 09:43:55 +02:00
Ohad Livne
4f6aa86230
Install the TLA+ toolchain as CLI tools 2026-02-28 09:43:54 +02:00
Ohad Livne
7b26ba00fb
Install the Java development environment 2026-02-28 09:43:53 +02:00
Ohad Livne
7f99eca6c3
Use Rust via the rustup toolchain 2026-02-28 09:43:51 +02:00
Ohad Livne
9f10158f6d
Install the F* toolchain 2026-02-28 09:43:49 +02:00
Ohad Livne
040f83561c
Support dynamic resource selection 2026-02-28 09:43:47 +02:00
Ohad Livne
c16e517a9c
Enable line wrapping globally 2026-02-28 09:43:45 +02:00
Ohad Livne
8be09a6b65
Enable markdown-mode keybindings in the tree-sitter mode as well 2026-02-28 09:42:59 +02:00