2024-08-27 18:27:41 +00:00
|
|
|
#!/bin/bash
|
2024-07-08 19:50:13 +00:00
|
|
|
|
|
|
|
function format() {
|
|
|
|
# format file
|
|
|
|
# typstyle --format $1
|
|
|
|
|
|
|
|
if [ -z "$1" ]; then
|
|
|
|
return
|
|
|
|
fi
|
|
|
|
|
|
|
|
local wd=$(dirname $(realpath "$1"))
|
|
|
|
|
|
|
|
echo "processing file $1..."
|
|
|
|
typstyle "$2" "$1" > /dev/null
|
|
|
|
if [ $? -eq 1 ]; then
|
|
|
|
echo "failed format validation: $1"
|
|
|
|
exit 1
|
|
|
|
fi
|
2024-08-27 18:27:41 +00:00
|
|
|
|
2024-12-03 08:29:33 +00:00
|
|
|
local imports=$(rg "#import \"([a-z0-9/\-.]+\.typ)\"" -Nor '$1' "$1")
|
2024-07-08 19:50:13 +00:00
|
|
|
|
|
|
|
# format all included files
|
|
|
|
while IFS= read -r line; do
|
|
|
|
if [ -z "$line" ]; then
|
|
|
|
continue
|
|
|
|
fi
|
|
|
|
format "$wd/$line" "$2"
|
|
|
|
done <<< "$imports"
|
2024-12-03 08:29:33 +00:00
|
|
|
|
|
|
|
local includes=$(rg "#import \"([a-z0-9/\-.]+\.typ)\"" -Nor '$1' "$1")
|
|
|
|
|
|
|
|
# format all included files
|
|
|
|
while IFS= read -r line; do
|
|
|
|
if [ -z "$line" ]; then
|
|
|
|
continue
|
|
|
|
fi
|
|
|
|
format "$wd/$line" "$2"
|
|
|
|
done <<< "$includes"
|
2024-07-08 19:50:13 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
case $1 in
|
|
|
|
"--format")
|
|
|
|
format "$2" "--inplace"
|
|
|
|
;;
|
|
|
|
"--check")
|
|
|
|
format "$2" "--check"
|
|
|
|
;;
|
|
|
|
*)
|
|
|
|
echo "unknown option: $1"
|
|
|
|
exit 1
|
|
|
|
;;
|
2024-08-27 18:27:41 +00:00
|
|
|
esac
|