summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarel Kočí <karel.koci@nic.cz>2018-10-11 14:52:02 +0200
committerKarel Kočí <karel.koci@nic.cz>2018-10-11 14:52:02 +0200
commitf3f0eceaeccd514cb4462874edaee7c5ec80a677 (patch)
treef78481959a0f58c5a318679b1777cf131e4d2e53
parent18770846c5f3a7cfb586a3f586550e32b419c83d (diff)
downloadgentoo-personal-overlay-f3f0eceaeccd514cb4462874edaee7c5ec80a677.tar.gz
gentoo-personal-overlay-f3f0eceaeccd514cb4462874edaee7c5ec80a677.tar.bz2
gentoo-personal-overlay-f3f0eceaeccd514cb4462874edaee7c5ec80a677.zip
devel profile: add shellcheck for shell linting
-rw-r--r--profiles/devel/packages3
1 files changed, 3 insertions, 0 deletions
diff --git a/profiles/devel/packages b/profiles/devel/packages
index df833d6..62de514 100644
--- a/profiles/devel/packages
+++ b/profiles/devel/packages
@@ -2,6 +2,9 @@
dev-util/cquery
dev-util/bear
+# sh
+dev-util/shellcheck
+
# App emulation
app-emulation/lxc