#! /bin/bash
# Last edited on 2022-04-14 15:14:47 by stolfi

check_dir_tail.sh "2021-12-24-js"

outdir="tests/out"
outpref="${outdir}/paper_figures_B_TST_p"

today=`yyyy-mm-dd-hhmmss`
savedir=figures/${today}

mkdir -p ${savedir}

for ff in ${outpref}*{pdf,_parms.tex} ; do 
  oname=${ff/${outpref}_/}
  nname=${oname//_/-}
  # echo "fname = ${fname}" 2>&2
  mv -vi "${outpref}_${oname}" "${savedir}/${nname}"
done