My home directory setup

Ohad Livne 1976c2cb8b Update Claude settings		2026-02-28 09:44:03 +02:00
.claude	Update Claude settings	2026-02-28 09:44:03 +02:00
.config	Teach Emacs to generate UUID (version 4) identifiers	2026-02-28 09:44:02 +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-28 09:43:56 +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-28 09:43:54 +02:00