diff options
| author | Karel Kočí <karel.koci@nic.cz> | 2018-10-11 14:52:02 +0200 |
|---|---|---|
| committer | Karel Kočí <karel.koci@nic.cz> | 2018-10-11 14:52:02 +0200 |
| commit | f3f0eceaeccd514cb4462874edaee7c5ec80a677 (patch) | |
| tree | f78481959a0f58c5a318679b1777cf131e4d2e53 /profiles | |
| parent | 18770846c5f3a7cfb586a3f586550e32b419c83d (diff) | |
| download | gentoo-personal-overlay-f3f0eceaeccd514cb4462874edaee7c5ec80a677.tar.gz gentoo-personal-overlay-f3f0eceaeccd514cb4462874edaee7c5ec80a677.tar.bz2 gentoo-personal-overlay-f3f0eceaeccd514cb4462874edaee7c5ec80a677.zip | |
devel profile: add shellcheck for shell linting
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/devel/packages | 3 |
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 |