#!/bin/bash
if [ ! -d "/workdirmain/workdir" ]; then
sshfs -o allow_other,default_permissions,workaround=rename your_username@10.0.2.2:/path/to/your/ece391_share /workdirmain
fi
