MirrorMirror
/
funkwhale
mirror of https://dev.funkwhale.audio/funkwhale/funkwhale.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

chore(gitpod): Speed up workspace initialisation 

Part-of: <https://dev.funkwhale.audio/funkwhale/funkwhale/-/merge_requests/2605>
This commit is contained in:
Georg Krause 2023-11-02 08:38:37 +00:00 committed by Marge
parent debd334b38
commit b05bce3b37
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
.gitpod.yml
View File

@ -59,9 +59,10 @@ tasks:
ENV_FILE: /workspace/funkwhale/.gitpod/.env ENV_FILE: /workspace/funkwhale/.gitpod/.env
VUE_EDITOR: code VUE_EDITOR: code
DJANGO_SETTINGS_MODULE: config.settings.local DJANGO_SETTINGS_MODULE: config.settings.local
init: pre-commit install init: |
pre-commit install
pre-commit run --all
command: | command: |
pre-commit run --all && clear
echo "" echo ""
echo -e " ⠀⠀⠸⣿⣷⣦⣄⣠⣶⣾⣿⠇⠀⠀ You can now start developing Funkwhale with gitpod!" echo -e " ⠀⠀⠸⣿⣷⣦⣄⣠⣶⣾⣿⠇⠀⠀ You can now start developing Funkwhale with gitpod!"
echo -e " ⠀⠀⠀⠈⠉⠻⣿⣿⠟⠉⠁⠀⠀⠀" echo -e " ⠀⠀⠀⠈⠉⠻⣿⣿⠟⠉⠁⠀⠀⠀"