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