fix(prover_cli): Fix Minor Bugs in Prover CLI (#2264)

This PR fixes bugs in the Prover CLI:
- The status command was not displaying correctly for more than one
batch.
- The witness job status was incorrectly set to "in progress" when some
batches were in the queue and others were waiting for proofs.
- The config command failed if there was no configuration file. Now, it
creates one if it’s not found.


## Checklist

- [x] PR title corresponds to the body of PR (we generate changelog
entries from PRs).
- [ ] Tests for the changes have been added / updated.
- [ ] Documentation comments have been added / updated.
- [x] Code has been formatted via `zk fmt` and `zk lint`.
- [x] Spellcheck has been run via `zk spellcheck`.

prover/prover_cli/src/commands/status/batch.rs

@@ -39,7 +39,7 @@ pub(crate) async fn run(args: Args, config: ProverCLIConfig) -> anyhow::Result<(
         if let Status::Custom(msg) = batch_data.compressor.witness_generator_jobs_status() {
             if msg.contains("Sent to server") {
                 println!("> Proof sent to server ✅");
-                return Ok(());
+                continue;
             }
         }
 
@@ -48,7 +48,7 @@ pub(crate) async fn run(args: Args, config: ProverCLIConfig) -> anyhow::Result<(
             .witness_generator_jobs_status();
         if matches!(basic_witness_generator_status, Status::JobsNotFound) {
             println!("> No batch found. 🚫");
-            return Ok(());
+            continue;
         }
 
         if !args.verbose {

prover/prover_cli/src/commands/status/utils.rs

@@ -75,16 +75,16 @@ impl From<Vec<WitnessJobStatus>> for Status {
     fn from(status_vector: Vec<WitnessJobStatus>) -> Self {
         if status_vector.is_empty() {
             Status::JobsNotFound
-        } else if status_vector
-            .iter()
-            .all(|job| matches!(job, WitnessJobStatus::Queued))
-        {
-            Status::Queued
         } else if status_vector
             .iter()
             .all(|job| matches!(job, WitnessJobStatus::WaitingForProofs))
         {
             Status::WaitingForProofs
+        } else if status_vector.iter().all(|job| {
+            matches!(job, WitnessJobStatus::Queued)
+                || matches!(job, WitnessJobStatus::WaitingForProofs)
+        }) {
+            Status::Queued
         } else if status_vector
             .iter()
             .all(|job| matches!(job, WitnessJobStatus::Successful(_)))

prover/prover_cli/src/config/mod.rs

@@ -26,7 +26,7 @@ pub fn update_envfile(
     let prefix = format!("{}=", key.as_ref());
     let kv = format!("{}={}", key.as_ref(), value.as_ref());
     let swapfile = path.as_ref().with_extension(".swp");
-    let mut out = std::io::BufWriter::new(std::fs::File::create_new(&swapfile)?);
+    let mut out = std::io::BufWriter::new(std::fs::File::create(&swapfile)?);
     let mut found = false;
 
     std::fs::read_to_string(path)