Avoid using risky --force on rm

src/temp.bash

diff --git a/src/temp.bash b/src/temp.bash
index a393bd2..db0daaa 100755
--- a/src/temp.bash
+++ b/src/temp.bash
@@ -172,7 +172,7 @@
 
   # Delete directory.
   local result
-  result="$(rm -rf -- "$path" 2>&1)"
+  result="$(rm -r -- "$path" 2>&1 </dev/null)"
   if (( $? )); then
     echo "$result" \
       | batslib_decorate 'ERROR: temp_del' \