My home directory setup

Ohad Livne 6d96354652 Track Claude Code settings		2026-02-12 08:43:16 +02:00
.claude	Track Claude Code settings	2026-02-12 08:43:16 +02:00
.config	Clone Lilypond from the upstream repository and support updates	2026-02-12 08:33:37 +02:00
.gnupg	Cache the GPG password for a full day	2025-06-04 22:46:04 +03:00
.local	Install TLAPS for stronger verification of TLA+ models	2026-02-11 22:54:57 +02:00
.bash_aliases	Transparently use run0 instead of sudo	2026-02-07 00:26:37 +02:00
.bash_logout	Track the bash logout script	2025-06-04 22:45:04 +03:00
.bashrc	Fix typo	2025-06-04 22:46:53 +03:00
.gitconfig	Write a script for resetting commit author metadata	2025-11-08 16:43:19 +02:00
.gitignore	Ignore everything	2025-06-04 22:44:02 +03:00
.inputrc	Configure inputrc	2025-06-04 22:44:17 +03:00
.pre-commit-config.yaml	Update pre-commit hooks	2026-02-07 00:26:29 +02:00
.profile	Install the TLA+ toolchain as CLI tools	2026-02-11 22:54:52 +02:00