Merge branch 'develop'

qcr · Apr 29, 2022 · 5d75652 · 5d75652
2 parents 2d55f9d + d4e8fc4
commit 5d75652
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/LICENSE.txt b/LICENSE.txt
@@ -1,4 +1,4 @@
-Copyright (c) 2020, Queensland University of Technology (Ben Talbot, David Hall, Haoyang Zhang, Suman Bista, Rohan Smith, Niko Sünderhauf, and Feras Dayoub)
+Copyright (c) 2020, Queensland University of Technology (Ben Talbot, David Hall, and Niko Sünderhauf)
 All rights reserved.
 
 Redistribution and use in source and binary forms, with or without modification,

diff --git a/bin/.helpers b/bin/.helpers
@@ -177,7 +177,9 @@ function kill_benchbot() {
   fi
   echo -e "\n${colour_blue}Deleted the following containers:${colour_nc}"
   docker system prune -f  # TODO this is still maybe a little too aggressive
-  echo -e "\n${colour_blue}Finished cleaning!${colour_nc}\n"
+
+  printf "\n${colour_blue}Finished cleaning!%s${colour_nc}\n\n" \
+    "$([ ${2:-0} -ne 0 ] && echo " (use 'benchbot_run -k' for a full clean)")"
 }
 
 function open_network() {