Merge branch '20220321_fixed_visualizations.sh_for_Linux' into 20220317_opam-graph_updates

This commit is contained in:
rand00 2022-03-21 14:23:11 +01:00
commit 837484a393

View file

@ -78,8 +78,17 @@ FILENAME="${1}"
CACHE_DIR="${CACHE}/${UUID}" CACHE_DIR="${CACHE}/${UUID}"
BUILDER_VIZ="builder-viz" BUILDER_VIZ="builder-viz"
TMPTREE=$(mktemp -t treevis) mktemp_aux () {
TMPOPAM=$(mktemp -t opamvis) if [ "$(uname)" = "Linux" ]; then
mktemp -t "$1.XXX"
elif [ "$(uname)" = "FreeBSD" ]; then
mktemp -t "$1"
else
mktemp -t "$1.XXX" #< todo what to choose here
fi
}
TMPTREE=$(mktemp_aux treeviz)
TMPOPAM=$(mktemp_aux opamviz)
cleanup () { cleanup () {
rm -rf "${TMPTREE}" "${TMPOPAM}" rm -rf "${TMPTREE}" "${TMPOPAM}"
} }
@ -94,7 +103,17 @@ else
fi fi
fi fi
SIZE="$(stat -f "%z" ${FILENAME})" stat_aux () {
if [ "$(uname)" = "Linux" ]; then
stat -c "%s" "$1"
elif [ "$(uname)" = "FreeBSD" ]; then
stat -f "%z" "$1"
else
stat -c "%s" "$1" #< todo what to choose here
fi
}
SIZE="$(stat_aux ${FILENAME})"
if [ ! -z "${DEBUG}" ]; then if [ ! -z "${DEBUG}" ]; then
if [ -e "${CACHE_DIR}.treemap.html" ]; then if [ -e "${CACHE_DIR}.treemap.html" ]; then