# HG changeset patch
# User nanaya <me@nanaya.pro>
# Date 1666457926 -32400
# Node ID 26568ef0d05ae07077c9a269cb7e28b30bd79433
# Parent  92c1a021e8a12e29bd316367c20c252f89b80ca6
[bashrc] Use bash internal random variable

diff -r 92c1a021e8a1 -r 26568ef0d05a rc/bashrc
--- a/rc/bashrc	Sun Oct 23 01:57:32 2022 +0900
+++ b/rc/bashrc	Sun Oct 23 01:58:46 2022 +0900
@@ -281,7 +281,7 @@
   _rm="rm"
 fi
 # Test if the specified rm has "-I" parameter since it's much better.
-if "${_rm}" -If "/tmp/.nonexistent.$(date '+%Y%m%d%H%M%S')" 2> /dev/null; then
+if "${_rm}" -If "/tmp/.nonexistent.${RANDOM}" 2> /dev/null; then
   alias rm="${_rm} -I"
 else
   alias rm="${_rm} -i"