1 2 3 4 5
#!/usr/bin/env bash set -euo pipefail guix pull guix environment --ad-hoc acl2 -- echo acl2 ok