From 17c009975324dec9f91c10ea04e7b518b5c800cf Mon Sep 17 00:00:00 2001 From: Mark Date: Fri, 24 May 2024 23:26:01 -0700 Subject: [PATCH] Tweak --- build.sh | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/build.sh b/build.sh index 225e078..da5c81a 100755 --- a/build.sh +++ b/build.sh @@ -97,7 +97,12 @@ function build() { echo -n "\"description\": \"${job_name}\"", echo -n "\"handout\": \"https://static.betalupi.com/ormc/$(realpath --relative-to="${target_dir}" "${b_target_dir}")/${job_name}.pdf\"," if [[ $solution_stat == 0 ]]; then - echo -n "\"solutions\": \"https://static.betalupi.com/ormc/$(realpath --relative-to="${target_dir}" "${b_target_dir}")/${job_name}.sols.pdf\"" + echo -n "\"solutions\": \"https://static.betalupi.com/ormc/$(realpath --relative-to="${target_dir}" "${b_target_dir}")/${job_name}.sols.pdf\"," + fi + if [[ $solution_stat == 0 ]]; then + echo -n "\"starred\": true" + else + echo -n "\"starred\": false" fi echo -n "}," ) >> "$target_dir/index.json"