feat(gitpod): Name the ports

small-gitpod-improvements
Georg Krause 2023-11-02 08:40:38 +00:00
rodzic 40773b7b08
commit cdb8c6ec32
1 zmienionych plików z 17 dodań i 6 usunięć

Wyświetl plik

@ -68,30 +68,41 @@ tasks:
echo ""
ports:
- port: 8000
- name: Funkwhale
port: 8000
visibility: public
onOpen: notify
- port: 5000
- name: Funkwhale API
port: 5000
visibility: private
onOpen: ignore
- port: 5432
- name: PostgreSQL
port: 5432
visibility: private
onOpen: ignore
- port: 5678
- name: Debugpy
port: 5678
visibility: private
onOpen: ignore
- port: 6379
- name: Redis
port: 6379
visibility: private
onOpen: ignore
- port: 8080
- name: Frontend
port: 8080
visibility: private
onOpen: ignore
- name: Documentation
port: 8001
visibility: public
onOpen: notify
vscode:
extensions:
- Vue.volar