1.1--- a/skelfile	Sat Aug 17 17:08:46 2024 -0400
     1.2+++ b/skelfile	Mon Aug 19 10:31:22 2024 -0400
     1.3@@ -17,8 +17,11 @@
     1.4 ((web () #$podman run --name web --replace -dt -p 8080:8080 -p 2020:2020 \
     1.5       --volume /srv/http:/home/web/www \
     1.6       web$#)
     1.7+ (run-infra (infra-sbcl infra-stumpwm infra-emacs infra-rocksdb))
     1.8  (infra-sbcl () #$podman run --replace -dt -v /opt/stash:/usr/local/share/stash:z --name infra-sbcl infra \
     1.9              -c "skel build sbcl && skel dist sbcl && sudo cp .stash/sbcl.tar.zst /usr/local/share/stash"$#)
    1.10+ (infra-stumpwm () #$podman run --replace -dt -v /opt/stash:/usr/local/share/stash:z --name infra-sbcl infra \
    1.11+             -c "skel build stumpwm && skel dist stumpwm && sudo cp .stash/stumpwm.tar.zst /usr/local/share/stash"$#)
    1.12  (infra-emacs () #$podman run --replace -dt -v /opt/stash:/usr/local/share/stash:z --name infra-emacs infra \
    1.13              -c "skel build emacs && skel dist emacs && sudo cp .stash/emacs.tar.zst /usr/local/share/stash"$#)
    1.14  (infra-rocksdb () #$podman run --replace -dt -v /opt/stash:/usr/local/share/stash:z --name infra-rocksdb infra \