# HG changeset patch # User HIROSE Yuuji # Date 1590711859 -32400 # Node ID 695ab5c2c1a51f900ed2fbc45d539a31392e6d6b # Parent 8a31b90f781595481080e4d2ac70468b7908754d Random generation fixed diff -r 8a31b90f7815 -r 695ab5c2c1a5 s4-funcs.sh --- a/s4-funcs.sh Fri May 29 06:18:50 2020 +0900 +++ b/s4-funcs.sh Fri May 29 09:24:19 2020 +0900 @@ -358,10 +358,12 @@ logend } dbsetup() { - [ -d $tmpdir ] || mkdir -m 1777 $tmpdir + pipedir=$tmpdir/pipedir + [ -d $pipedir ] || mkdir -p -m 1777 $pipedir [ -d $dbdir ] || mkdir -m 1775 $dbdir - sqi=$tmpdir/sqi.$$ - sqo=$tmpdir/sqo.$$ + suf=`date +%s` + sqi=$pipedir/sqi-$suf.$$ + sqo=$pipedir/sqo-$suf.$$ mkfifo $sqi $sqo #tail -f $sqi | sq $db & # "tail -f" is too heavy. DO NOT USE!! sq $db < $sqi & @@ -1196,7 +1198,7 @@ genrandom() { # $1=columns (default: 10) dd if=/dev/urandom count=1 2>/dev/null|nkf -MB \ - | tr -d '+='|fold -w${1:-10}|sed -n 10p + | tr -d '+=\n'|fold -w${1:-10}|sed -n 10p } genserial() { echo $((($(date +%s)-1433084400)/10))c$$