#!/bin/bash
# PUBLIC DOMAIN
if [ -z "$1" ]; then
    echo  usage: $0 file-to-indent file2 file3 ...
    exit 1
fi

for i in $@; do
    echo Loading $i
    ruff format $i
done
