From 1933a06cc089c65146d1bc893414face07aefebd Mon Sep 17 00:00:00 2001
From: Georg Krause <mail@georg-krause.net>
Date: Thu, 2 Nov 2023 08:40:38 +0000
Subject: [PATCH] feat(gitpod): Name the ports

Part-of: <https://dev.funkwhale.audio/funkwhale/funkwhale/-/merge_requests/2605>
---
 .gitpod.yml | 21 ++++++++++++++-------
 1 file changed, 14 insertions(+), 7 deletions(-)

diff --git a/.gitpod.yml b/.gitpod.yml
index 473c802e2..29f893054 100644
--- a/.gitpod.yml
+++ b/.gitpod.yml
@@ -73,31 +73,38 @@ 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
 
-  - port: 8001
+  - name: Documentation
+    port: 8001
     visibility: public
     onOpen: notify