diff options
| author | Paul Bonaud <paul.bonaud@fretlink.com> | 2019-09-06 10:53:58 +0200 |
|---|---|---|
| committer | Paul Bonaud <paul.bonaud@fretlink.com> | 2019-09-06 10:53:58 +0200 |
| commit | df38b9919010096e71421485c17f5addd3e2baaf (patch) | |
| tree | f03c2599925ec42992b9153d41c5d5a728dbb6c6 /dhall/mkConfig.dhall | |
| parent | 51ceebba75707c19d20d0f6ad4515259fed7ca99 (diff) | |
| download | ansible-clever-df38b9919010096e71421485c17f5addd3e2baaf.tar.gz ansible-clever-df38b9919010096e71421485c17f5addd3e2baaf.tar.zst ansible-clever-df38b9919010096e71421485c17f5addd3e2baaf.zip | |
scripts: use short options instead of long ones
In order to be compatible with more `grep` versions (notably busybox
ones which don't have long option names in our new CI environments) we
need to use short cli options.
Diffstat (limited to 'dhall/mkConfig.dhall')
0 files changed, 0 insertions, 0 deletions