fix mixed indent + move do to same line as start of loop (#19373)

This commit is contained in:
Aleksander Baranowski 2024-08-17 08:15:00 +02:00 committed by GitHub
parent a6a75e3501
commit ba1d7255d0
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -16,8 +16,7 @@ commands="config-help,generate,batch,help,list,meta,validate,version"
if [ $# == 0 ]; then if [ $# == 0 ]; then
echo "No command specified. Available commands:" echo "No command specified. Available commands:"
for i in $(echo $commands | sed "s/,/ /g") for i in $(echo $commands | sed "s/,/ /g"); do
do
echo " $i" echo " $i"
done done
exit exit