Add GitPod Badge

Author: jason-fox

.gitpod.yml

@@ -0,0 +1,37 @@
+ports:
+  - name: Orion
+    description: Context Broker
+    port: 1026
+    onOpen: notify
+  - name: Wilma
+    description: PEP Proxy
+    port: 1027
+    onOpen: ignore
+  - name: Tutorial App
+    description: Web app displaying context data
+    port: 3000
+    onOpen: open-preview
+  - name: Tutorial Devices
+    description: Dummy IoT Sensors over HTTP
+    port: 3001
+    onOpen: ignore
+  - name: Keyrock
+    description: Identity Manager
+    port: 3005
+    onOpen: open-preview
+  - name: MySQL
+    description: Database for Keyrock
+    port: 3306
+    onOpen: ignore
+  - name: IoT Agent (North Port)
+    description: NGSI data and device provisioning
+    port: 4041
+    onOpen: ignore
+  - name: IoT Agent (South Port)
+    description: Ultralight HTTP measures
+    port: 7896
+    onOpen: ignore
+  - name: MongoDB
+    description: Database for Orion + IoT Agent
+    port: 27017
+    onOpen: ignore

services

@@ -42,6 +42,7 @@ waitForKeyrock () {
 displayServices () {
 	echo ""
 	docker ps --format "table {{.Names}}\t{{.Status}}\t{{.Ports}}" --filter name=fiware-*
+	(gp ports list 2> /dev/null) || true 
 	echo ""
 }