altf4arnold/datatracker
1
0
Fork 0
Code Issues Pull requests Actions 5 Packages Projects Releases Wiki Activity

chore: disable git info in zsh prompt in dev environment

Browse source
This commit is contained in:
Nicolas Giard 2022-07-20 20:35:11 -04:00 committed by GitHub
parent ffe824b7cd
commit 8bdbf7cb9a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
docker/scripts/app-init.sh
View file

@ -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