Opens Otty and adds this tool to what it syncs
Opens otty://sync/add/acl2. Otty ships with this catalog, so the link only has to name the tool — nothing is downloaded.
curl -fsSL https://dotfiles.otty.sh/app/acl2/chezmoiignore \
>> ~/.local/share/chezmoi/.chezmoiignore
curl -fsSL https://dotfiles.otty.sh/app/acl2/mackup.cfg \
-o ~/.mackup/acl2.cfg
curl -fsSL https://dotfiles.otty.sh/app/acl2/yadm-encrypt \
>> ~/.config/yadm/encrypt
# Generated by dotfiles-catalog 0.3.0 — do not edit.
# ACL2 (acl2): merge into your install.conf.yaml.
#
# Secrets are deliberately absent — dotbot symlinks, so a linked
# credential file would land in your repository in plaintext.
- link:
~/acl2-customization.lisp: acl2-customization.lisp
~/acl2-customization.lsp: acl2-customization.lsp
~/acl2-init.lsp: acl2-init.lsp
curl -fsSL https://dotfiles.otty.sh/app/acl2/stow.sh \
| sh -s -- ~/dotfiles
