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

513 commits

This branch
This branch
All branches
Author SHA1 Message Date
Ohad Livne
36a16cc1dd
Only expose access ports on the localhost network 2026-04-20 00:24:08 +03:00
Ohad Livne
2a383a6c3c
Restrict service container privileges 2026-04-20 00:24:07 +03:00
Ohad Livne
ce0be360e5
Install SimpleX Chat from the GitHub repository 2026-04-20 00:24:07 +03:00
Ohad Livne
4bd68f4614
Short-circuit installation commands on failure 2026-04-20 00:24:06 +03:00
Ohad Livne
87c66ec157
Use hardened defaults for SSH connections 2026-04-20 00:24:06 +03:00
Ohad Livne
340b20f39e
Sort keybindings 2026-04-20 00:24:05 +03:00
Ohad Livne
31106b267d
Back up the password databases 2026-04-20 00:24:05 +03:00
Ohad Livne
34bf948ef1
Update the script to work in strict mode 2026-04-20 00:24:05 +03:00
Ohad Livne
59d1f1d22d
DRY the sync backup script 2026-04-20 00:24:04 +03:00
Ohad Livne
bec062d420
Install a CLI tool for Hetzner Cloud 2026-04-20 00:24:04 +03:00
Ohad Livne
d5f4376125
Provide installation suggestions for missing utilities 2026-04-20 00:24:03 +03:00
Ohad Livne
c9c788efe3
Correctly update executable links 2026-04-20 00:24:03 +03:00
Ohad Livne
fc840dd54e
Set core rules for Claude Code behavior 2026-04-20 00:24:02 +03: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
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