You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
# This function should be called for each generated file with the file's name as the first argument and the command to call to produce the file's content as the remaining arguments.
function generate_file() {
file_name=$1
shift
generate_command=("$@")
if ! [ "$current_file_name" ]; then
echo "$file_name"
elif [ "$current_file_name" == "$file_name" ]; then
mkdir -p "$(dirname "$file_name")"
"${generate_command[@]}" > "$file_name"
fi
}
# Call generate_file for each file to be generated.