diff options
| author | Luke Shumaker <lukeshu@lukeshu.com> | 2017-04-20 22:47:08 -0400 |
|---|---|---|
| committer | Luke Shumaker <lukeshu@lukeshu.com> | 2017-05-04 14:27:15 -0400 |
| commit | bb97cfc85d9b711b517985abbd9832bff9c4b37a (patch) | |
| tree | 20d328819279d96e987d5212ea39a97604b9e2c2 /src/chroot-tools | |
| parent | b245def72cd67e6475651b12e3313d8011b128bc (diff) | |
shellcheck directives
Diffstat (limited to 'src/chroot-tools')
| -rw-r--r-- | src/chroot-tools/chroot.conf | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/chroot-tools/chroot.conf b/src/chroot-tools/chroot.conf index 3b3c445..4e3fce5 100644 --- a/src/chroot-tools/chroot.conf +++ b/src/chroot-tools/chroot.conf @@ -1,3 +1,6 @@ +#!/hint/bash +# shellcheck disable=2034 + # The full path to the chroot is # $CHROOTDIR/$CHROOT/$COPY # where $COPY is set at runtime. |