Bash is the default shell for Gitpod. However, if you’re developing a Bash script yourself, you may want to configure additional language support.
|inlets/inlets||Reverse proxy and service tunnel|
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: - email@example.com:hsU/Rd39aqPYowTqL+DbXg==
Not sure about ShellCheck? Try it in Gitpod!
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
RUN npm i -g bash-language-server
Also the following in your
vscode: extensions: - firstname.lastname@example.org:/qx+rdXE/fGTGWhelNf3aQ==
Not sure about Bash IDE? Try it in Gitpod
- For more on ShellCheck see https://shellcheck.net