1.1--- a/skelfile	Thu Aug 15 22:10:20 2024 -0400
     1.2+++ b/skelfile	Sat Aug 17 17:08:46 2024 -0400
     1.3@@ -17,6 +17,12 @@
     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+ (infra-sbcl () #$podman run --replace -dt -v /opt/stash:/usr/local/share/stash:z --name infra-sbcl infra \
     1.8+             -c "skel build sbcl && skel dist sbcl && sudo cp .stash/sbcl.tar.zst /usr/local/share/stash"$#)
     1.9+ (infra-emacs () #$podman run --replace -dt -v /opt/stash:/usr/local/share/stash:z --name infra-emacs infra \
    1.10+             -c "skel build emacs && skel dist emacs && sudo cp .stash/emacs.tar.zst /usr/local/share/stash"$#)
    1.11+ (infra-rocksdb () #$podman run --replace -dt -v /opt/stash:/usr/local/share/stash:z --name infra-rocksdb infra \
    1.12+             -c "skel build rocksdb && skel dist rocksdb && sudo cp .stash/rocksdb.tar.zst /usr/local/share/stash"$#)
    1.13  (operator () #$podman run --name operator --replace -dt operator$#)
    1.14  (vc () #$podman run --name vc --replace -dt -p 8888:8888 vc$#)
    1.15  (dev () #$podman run --name dev --replace -dt dev$#)