On Tue, Apr 25, 2023, 9:34 AM Lassi Kortela <la...@lassi.io> wrote: > Good point. Perhaps there should be an `srfi init` subcommand that > git-clones srfi-common under $SRFI_HOME? >
Good idea. And commands that depend on that can report an error unless it has been done in advance. >