1 2 3 4 5 6 7
#!/bin/bash if command -v mapsocket >/dev/null 2>&1; then exec mapsocket -m 1234 dynamic spintos --gdb "$@" else exec pintos --gdb "$@" fi