1 2 3
#!/bin/sh export PATH="$PATH:$(dirname "${BASH_SOURCE[0]}")/pintos-progos/utils" export PATH="/opt/bochs/bin:$PATH"