From 0244d64c8a059d53030d1ec86f47c9f470eda242 Mon Sep 17 00:00:00 2001 From: Sebastian McKenzie Date: Wed, 11 Jan 2023 13:42:57 -0600 Subject: [PATCH] chore: Add root `rome` script for development --- rome | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100755 rome diff --git a/rome b/rome new file mode 100755 index 00000000000..f24f5d46fc6 --- /dev/null +++ b/rome @@ -0,0 +1,12 @@ +#!/bin/bash + +set -e + +# Save directory we're currently in +DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )" +PWD=$(pwd) + +cd "$DIR" + +# TODO retain original PWD for `rome` binary +cargo run --quiet --bin rome -- "$@"