diff --git a/sidekick.sh b/sidekick.sh index 15d7fdad..b55bb625 100755 --- a/sidekick.sh +++ b/sidekick.sh @@ -1,3 +1,3 @@ #!/bin/sh -OPTS=--profile=release +OPTS="--profile=release --display=quiet" exec dune exec $OPTS ./src/main/main.exe -- $@