diff --git a/DAMASK_prerequisites.sh b/DAMASK_prerequisites.sh index 181fd46b5..26f5aecfc 100755 --- a/DAMASK_prerequisites.sh +++ b/DAMASK_prerequisites.sh @@ -56,15 +56,12 @@ echo XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX echo System report for \'$(hostname)\' created on $(date '+%Y-%m-%d %H:%M:%S') by \'$(whoami)\' echo XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX -firstLevel "DAMASK settings" +firstLevel "DAMASK" secondLevel "DAMASK_ROOT" echo $DAMASK_ROOT echo secondLevel "Version" cat VERSION -echo -secondLevel "Settings in CONFIG" -cat env/CONFIG firstLevel "System" uname -a