Logo AND Algorithmique Numérique Distribuée

Private GIT Repository
Add log message about number of hosts in platform file.
[loba.git] / colorized-loba
1 #!/bin/sh
2
3 loba=${LOBA:-./loba}
4 path=$(ldd "$loba" | sed '/libsimgrid/!d;s/.*=> \(.*\)\/lib\/libsimgrid.*/\1/')
5 : ${path:="./simgrid-stable"}
6 colorizer="$path/bin/simgrid-colorizer"
7
8 exec "$loba" "$@" -v 2>&1 | "$colorizer" - | less -R