set -eu SRC="authentication keyexchange mercury metadata pubsub spirc" cat > src/lib.rs < files.rs <> src/lib.rs echo " (\"$src\", $checksum)," >> files.rs done echo "];" >> files.rs