diff options
| author |  Frans de Jonge <fransdejonge@gmail.com>
| 2019-07-22 16:07:40 +0200 |
|---|---|---|
| committer |  Alexandre Alapetite <alexandre@alapetite.fr>
| 2019-07-22 16:07:40 +0200 |
| commit | ad92518fe44279b69308aaf0a757469f5bf42910 (patch) | |
| tree | 4d85581537d53095346e5d443c156e49b41b6053 /cli/db-optimize.php | |
| parent | 71270e4d5c7f0645a31a8dc7ccc56cea6a9711b0 (diff) | |
[CI] Run shellcheck and shfmt (#2454)
* [CI] Run shellcheck and shfmt
Cf. https://github.com/FreshRSS/FreshRSS/pull/2436#discussion_r305640019
* rename
* no need for disable anymore
* also remove leftover indentation flags even if it makes no difference to syntax checking
* define colors and reset before exit for local use
Diffstat (limited to 'cli/db-optimize.php')
0 files changed, 0 insertions, 0 deletions