removing tmp dir in redis.jsonc

DelphianCalamity · DelphianCalamity · commit 0307e6742cea · 2024-07-07T06:26:45.000Z
diff --git a/mlos_bench/mlos_bench/config/environments/apps/redis/redis.jsonc b/mlos_bench/mlos_bench/config/environments/apps/redis/redis.jsonc
@@ -65,8 +65,8 @@
                     ],
                     "teardown": [
                         "sudo bash $mountPoint/$experiment_id/$trial_id/scripts/cleanup-workload.sh",
-                        "sudo bash $mountPoint/$experiment_id/$trial_id/scripts/cleanup-app.sh"
-                        // "rm -r /tmp/mlos_bench/"
+                        "sudo bash $mountPoint/$experiment_id/$trial_id/scripts/cleanup-app.sh",
+                        "rm -r /tmp/mlos_bench/"
                     ]
                 }
             },

Original file line number	Diff line number	Diff line change
`@@ -65,8 +65,8 @@`
`65`	`65`	`],`
`66`	`66`	`"teardown": [`
`67`	`67`	`"sudo bash $mountPoint/$experiment_id/$trial_id/scripts/cleanup-workload.sh",`
`68`		`- "sudo bash $mountPoint/$experiment_id/$trial_id/scripts/cleanup-app.sh"`
`69`		`- // "rm -r /tmp/mlos_bench/"`
	`68`	`+ "sudo bash $mountPoint/$experiment_id/$trial_id/scripts/cleanup-app.sh",`
	`69`	`+ "rm -r /tmp/mlos_bench/"`
`70`	`70`	`]`
`71`	`71`	`}`
`72`	`72`	`},`