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.

​

VS Code 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