kopia lustrzana https://dev.funkwhale.audio/funkwhale/funkwhale
chore(gitpod): Speed up workspace initialisation
rodzic
9cd2f30129
commit
40773b7b08
|
@ -54,9 +54,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 " ⠀⠀⠀⠈⠉⠻⣿⣿⠟⠉⠁⠀⠀⠀"
|
||||||
|
|
Ładowanie…
Reference in New Issue