1 2 3 4 5 6 7 8 9 10
#!/usr/bin/env bash # Quick and dirty hack to change permissions from root to our own owner=$(stat -c '%U' /opt/Titan/Titan.exe) if [ "$owner" != "$USER" ]; then sudo chown -R "$USER" "/opt/Titan" fi TERM=xterm mono /opt/Titan/Titan.exe