#!/bin/bash -e ## tools/run [ARGS...] ## ## Run the server in development mode. Shorthand for `cargo run`. tools/build-ui cargo run -- "$@"