Bash in Gitpod

Bash is the default shell for Gitpod. However, if you’re developing a Bash script yourself, you may want to configure additional language support.

Example Repositories

Here are a few Bash example projects that are already automated with Gitpod:

VSCode Extensions

ShellCheck

ShellCheck provides linting for common mistakes in your shell script.

To use ShellCheck in Gitpod, first, we must install the shellcheck tool. Here is a simple Dockerfile to get you started:

FROM gitpod/workspace-full

USER gitpod

RUN brew install shellcheck

You should also install the shellcheck VS Code extension in Gitpod, by adding a .gitpod.yml configuration file to your repository that looks like this (notice the vscode extensions section):

image:
  file: .gitpod.Dockerfile

vscode:
  extensions:
    - timonwong.shellcheck@0.9.0:hsU/Rd39aqPYowTqL+DbXg==

Not sure about ShellCheck? Try it in Gitpod!

Bash IDE

Just to name a few things Bash IDE adds: Code completion, hovers, and diagnostic reporting.

To install Bash IDE to your repository add the following to your .gitpod.Dockerfile

RUN npm i -g bash-language-server

Also the following in your .gitpod.yml

vscode:
  extensions:
    - mads-hartmann.bash-ide-vscode@1.4.0:/qx+rdXE/fGTGWhelNf3aQ==

Not sure about Bash IDE? Try it in Gitpod

Further Reading

• For more information about ShellCheck please see shellcheck.net

Known issues

The shellcheck program was not found

It has been reported that shellcheck extension fails to detect shellcheck from homebrew which results in:

To resolve this you need to set "shellcheck.executablePath": "/home/linuxbrew/.linuxbrew/bin/shellcheck", (or to path that point to shellcheck on your system), See https://github.com/vivek-verma202/GWAS_FM/pull/3/files