diff options
| author |   Guillaume Lambert <guillaume.lambert@orange.com> | 2021-03-02 21:45:00 +0100 |
|---|---|---|
| committer | Guillaume Lambert <guillaume.lambert@orange.com> | 2021-03-03 06:58:00 +0000 |
| commit | 2b6f82cbe818194f410ef987037c834e6c8deaee (patch) | |
| tree | af099444f25c5617fe26ca455a1b6dc8053c0635 /.gitlint | |
| parent | f46b67ceca21bfd573ec924494b8b9651430f06e (diff) | |
[COMMON] Get rid of a few bashisms
The built-in command source is a bashism.
Profiles script must be dotted and not sourced when possible.
Issue-ID: OOM-2688 OOM-2158
Signed-off-by: Guillaume Lambert <guillaume.lambert@orange.com>
Change-Id: Id7cad0d499129fa3b7ea020e906748243b1b3ace
Diffstat (limited to '.gitlint')
0 files changed, 0 insertions, 0 deletions