From 8bdbf7cb9ad8d41c6eb7a1b7ace5ccda064ad41a Mon Sep 17 00:00:00 2001 From: Nicolas Giard Date: Wed, 20 Jul 2022 20:35:11 -0400 Subject: [PATCH] chore: disable git info in zsh prompt in dev environment --- docker/scripts/app-init.sh | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/docker/scripts/app-init.sh b/docker/scripts/app-init.sh index aa53a8dfd..81811beab 100755 --- a/docker/scripts/app-init.sh +++ b/docker/scripts/app-init.sh @@ -4,6 +4,9 @@ WORKSPACEDIR="/workspace" sudo service rsyslog start &>/dev/null +# Turn off git info in zsh prompt (causes slowdowns) +git config oh-my-zsh.hide-info 1 + # Fix ownership of volumes echo "Fixing volumes ownership..." sudo chown -R dev:dev "$WORKSPACEDIR/.parcel-cache" @@ -110,13 +113,13 @@ if [ -z "$EDITOR_VSCODE" ]; then echo echo "You can execute arbitrary commands now, e.g.," echo - echo " ietf/manage.py check && ietf/manage.py runserver 0.0.0.0:8000" + echo " ietf/manage.py runserver 0.0.0.0:8000" echo echo "to start a development instance of the Datatracker." echo echo " ietf/manage.py test --settings=settings_sqlitetest" echo - echo "to run all the tests." + echo "to run all the python tests." echo zsh else