gitpod: init for ubuntu docker

.gitpod.Dockerfile

@@ -1,7 +1,19 @@
-FROM gentoo/stage3-amd64
+FROM gitpod/workspace-full-vnc:latest
 
 USER root
 
-RUN emerge --sync
+# Update apt repositories
+RUN apt-get update
 
-RUN emerge xlogo
+# Upgrade the image
+RUN apt upgrade -y
+RUN apt dist-upgrade -y
+
+# Get code dependencies
+RUN apt install -y shellcheck
+
+# Remove apt sources to clean up space
+RUN rm -rf /var/lib/apt/lists/*
+
+# Clean-up unneeded packages
+RUN apt autoremove -y

.gitpod.yml

@@ -1,12 +1,16 @@
 image:
   file: .gitpod.Dockerfile
 
+github:
+  prebuilds:
+    # enable for the master/default branch (defaults to true)
+    master: true
+
 # List the ports you want to expose and what to do when they are served. See https://www.gitpod.io/docs/43_config_ports/
 ports:
-  - port: 6080
-    onOpen: open-preview
+- port: 6080
+  onOpen: open-preview
 
-# List the start up tasks. You can start them in parallel in multiple terminals. See https://www.gitpod.io/docs/44_config_start_tasks/
-#tasks:
-#  - init: echo 'init script' # runs during prebuild
-#    command: echo 'start script'
+vscode:
+  extensions:
+    - [email protected]:16BMw7Jrwd/KkAhJrkHwqQ==

workspace/kreytricks/.vscode/settings.json

@@ -0,0 +1,7 @@
+{
+   "extensions.showBuiltin": true,
+   "shellcheck.customArgs": [
+      "--external-sources"
+   ],
+   "editor.wordWrap": "on"
+}